dr-geo
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Dr. Geo] How do I name an angle?

From: H. Hirzel
Subject: Re: [Dr. Geo] How do I name an angle?
Date: Thu, 28 Dec 2023 11:23:41 +0000
Hi Hilaire

Updating 23.12a to show the names of angles was easy using what you implemented in
https://github.com/hilaire/drgeo/issues/7

Thank you
Hannes

On Mon, Dec 25, 2023 at 1:46 PM Hilaire Fernandes <hilaire@gnu.org> wrote:
Hi Hannes,

It is not implmented. See the issue documenting how to change the code.

https://github.com/hilaire/drgeo/issues/7

So you have:

image

Key in \alpha


Hilaire

reply via email to
[Prev in Thread] Current Thread [Next in Thread]