[isabelle-dev] Isabelle2007 test version (update)

[Makarius]

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

  http://www4.in.tum.de/~wenzelm/test/website-test/index.html

Changes:

  - 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.


	Makarius