Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Elbe Theory Viewer 1.67


view this post on Zulip 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: Mar 29 2024 at 08:18 UTC