[isabelle] Elbe Theory Viewer 1.67

Good morning, Isabelle,

there has recently been an update of the Elbe theory viewer because of Windows 8. The new UI needed some adoptions and also required different libraries. You can view and print your theories on an Windows machine with this tool. It's faster than other software, because it's a native code program. The download link is

Happy weekend,

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