| Thu, 15 Nov 2007 15:05:03 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 15 Nov 2007 13:01:55 +0100 | wenzelm | use -source instead of -target; | changeset | files |
| Thu, 15 Nov 2007 11:53:49 +0100 | wenzelm | target 1.4 of JVM; | changeset | files |
| Thu, 15 Nov 2007 11:49:04 +0100 | wenzelm | thy_name: be very liberal about file name format (workaround problem with XEmacs on cygwin); | changeset | files |
| Thu, 15 Nov 2007 11:49:03 +0100 | wenzelm | isatool version: clarify that this is the *long* form; | changeset | files |
| Thu, 15 Nov 2007 11:49:02 +0100 | wenzelm | ISABELLE_IDENTIFIER is filled in automatically, not taken from the *long* form of isatool version! | changeset | files |