Email Gateway (Aug 18 2022 at 12:38): Email Gateway (Aug 18 2022 at 12:38):From: Jens Doll <jd@cococo.de>
Dear Isabelle users,
there is now a simple viewer for Isabelle theory files, *.thy, on Win32
machines with syntax highlight and symbol substitution. Some theory files
really look fine with it. I built it in order to view theories without
having installed proof general or Isabelle. It is called Elbe 0.94, which
is also the name of a river in my home town. It can be used to edit and
preview theories and also to directly run batch programs, *.cmd or *.bat.
An extension to other languages is planned. There are minor
incompatibilities with the font Isabelle.ttf. Because there could be more
bugs the program contains a simple feedback dialogue. The download page is
http://www.cococo.de/index.jsp?content=elbe
Regards,
JD
Makarius <makarius@sketis.net> wrote on 19.11.2008 14:00:59:
--------------------------- Corr ---------------------------------------
Thank you for the hint, I corrected the link and resent the message.
Jens
Email Gateway (Aug 18 2022 at 12:39):From: Jens Doll <jd@cococo.de>
Dear Isabelle users,
there is now a simple viewer for Isabelle theory files, *.thy, on Win32
machines with syntax highlight and symbol substitution. Some theory files
really look fine with it. I built it in order to view theories without
having installed proof general or Isabelle. It is called Elbe 0.94, which
is also the name of a river in my home town. It can be used to edit and
preview theories and also to directly run batch programs, *.cmd or *.bat.
An extension to other languages is planned. There are minor
incompatibilities with the font Isabelle.ttf. Because there could be more
bugs the program contains a simple feedback dialogue. The download page is
http://www.cococo.de/index.jsp?content=elbe
Regards,
JD
Last updated: Nov 21 2024 at 12:39 UTC