Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Elbe Theory Viewer 1.67

Email Gateway (Aug 19 2022 at 11:41):

From: "Jens-D. Doll" <jd@cococo.de>
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
http://cococo.de/Elbe

Happy weekend,
Jens

Last updated: Feb 01 2025 at 20:19 UTC