Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Elbe 1.6 - Theory Viewer


view this post on Zulip Email Gateway (Aug 19 2022 at 08:32):

From: Jens Doll <jd@cococo.de>
Hello all,

now there is a new version of the Elbe tool. It has been improved to
have batch processing on win machines and some bugs were removed. Also
the font Elbian.ttf now works under Win7. Symbols from Elbian.ttf can be
inserted to *.thy files by using the right mouse click. You can download
Elbe 1.6 from

http://cococo.de/Elbe

and use it although it is not perfect. It can be used to inspect
Isabelle2012 files. The navigator can also be sorted to have the lemmata
displayed in lexical order.

Jens

view this post on Zulip Email Gateway (Aug 19 2022 at 08:32):

From: "Yannick Duchêne (Hibou57 )" <yannick_duchene@yahoo.fr>
Hi Jens,

Do the same page exist in either English for French? Seems all German in
the above link.


Last updated: Mar 29 2024 at 12:28 UTC