Thu, 08 May 2003 10:35:24 +0200 | paulson | new version copied here | changeset | files |
Wed, 07 May 2003 22:07:33 +0200 | ballarin | Small changes for release Isabelle 2003. | changeset | files |
Wed, 07 May 2003 17:46:04 +0200 | kleing | use different main class for batch mode | changeset | files |
Wed, 07 May 2003 17:41:23 +0200 | kleing | fixed javac warning | changeset | files |
Wed, 07 May 2003 17:40:48 +0200 | kleing | fixed uncollapsed dirs (should be collapsed by default) | changeset | files |
Wed, 07 May 2003 17:06:11 +0200 | kleing | target clean, compile Console.java | changeset | files |
Wed, 07 May 2003 17:04:45 +0200 | kleing | cleanup, comments | changeset | files |