Email Gateway (Aug 19 2022 at 08:32): 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
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
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: Nov 21 2024 at 12:39 UTC