Mon, 20 Dec 2010 15:37:25 +0100 | haftmann | type_lifting for predicates | changeset | files |
Mon, 20 Dec 2010 16:44:33 +0100 | wenzelm | proper identifiers for consts and types; | changeset | files |
Mon, 20 Dec 2010 15:24:25 +0100 | wenzelm | some attempts to fit diagnostic output into regular TTY (75-80 characters per line); | changeset | files |
Mon, 20 Dec 2010 15:19:15 +0100 | wenzelm | tuned/clarified some component settings; | changeset | files |
Mon, 20 Dec 2010 14:44:00 +0100 | wenzelm | slightly more standard Isabelle_System.with_tmp_file/with_tmp_dir (cf. Scala version); | changeset | files |
Mon, 20 Dec 2010 13:36:25 +0100 | wenzelm | purged some comments (Locale_Test is already clean thanks to configuration options); | changeset | files |