[isabelle-dev] NEWS: isabelle logo

Makarius makarius at sketis.net
Mon Sep 3 11:50:22 CEST 2012

Previous message (by thread): [isabelle-dev] isabelle build (was: Isabelle manuals as regular session documents)
Next message (by thread): [isabelle-dev] jEdit Output Panel
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

* The "isabelle logo" tool produces EPS and PDF format simultaneously.
Minor INCOMPATIBILITY in command-line options.


This refers to Isabelle/747835eb2782.


 	Makarius

Previous message (by thread): [isabelle-dev] isabelle build (was: Isabelle manuals as regular session documents)
Next message (by thread): [isabelle-dev] jEdit Output Panel
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list