| Sat, 17 Sep 2011 17:55:39 +0200 | wenzelm | sane default for class Thy_Load; | changeset | files |
| Sat, 17 Sep 2011 17:05:31 +0200 | wenzelm | removed obsolete patches for PG 4.1; | changeset | files |
| Sat, 17 Sep 2011 16:53:01 +0200 | wenzelm | specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies; | changeset | files |
| Sat, 17 Sep 2011 16:29:18 +0200 | wenzelm | added "isabelle scalac" convenience; | changeset | files |
| Sat, 17 Sep 2011 16:19:40 +0200 | wenzelm | Symbol.explode as in ML; | changeset | files |
| Sat, 17 Sep 2011 16:00:54 +0200 | wenzelm | ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient; | changeset | files |
| Sat, 17 Sep 2011 15:08:55 +0200 | haftmann | dropped unused argument – avoids problem with SML/NJ | changeset | files |