[isabelle] Elbe 1.6 - Theory Viewer

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.


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