[isabelle-dev] Isabelle2007 test version (update)

Makarius makarius at sketis.net
Thu Nov 15 14:45:22 CET 2007

Yet another test version of the forthcoming Isabelle2007 is available now:



  - ProofGeneral.inform_file_processed/retracted: workaround problem with 
    XEmacs on Cygwin, where spurious drive letters c:/... may show up in 
    file names.

  - Settings: proper ISABELLE_IDENTIFIER is now provided by makedist, and 
    isatool make works again for an *official* distribution, as opposed to 
    mere development snapshots.


More information about the isabelle-dev mailing list