[isabelle-dev] NEWS

Makarius makarius at sketis.net
Fri Jan 25 22:04:11 CET 2008

Previous message (by thread): [isabelle-dev] NEWS
Next message (by thread): [isabelle-dev] NEWS
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

* Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs --- in 
  accordance with Proof General 3.7, which prefers GNU emacs.

Previous message (by thread): [isabelle-dev] NEWS
Next message (by thread): [isabelle-dev] NEWS
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list