Re: [isabelle] Elbe 1.6 - Theory Viewer

Le Mon, 06 Aug 2012 07:28:11 +0200, Jens Doll <jd at> a écrit:

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.


Hi Jens,

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

“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.