Tue, 25 May 2010 23:03:13 +0200 | wenzelm | eliminated obsolete priority message from Isabelle_Process protocol; | changeset | files |
Tue, 25 May 2010 22:21:31 +0200 | wenzelm | moved ML files where they are actually used; | changeset | files |
Tue, 25 May 2010 22:12:26 +0200 | wenzelm | renamed HOLCF/Library/ROOT.ML to HOLCF/Library/HOLCF_Library_ROOT.ML to avoid accidental uses of this ML file via the load path -- see also d7711be8c3a9 (obsolete) and ccae4ecd67f4; | changeset | files |
Tue, 25 May 2010 21:49:44 +0200 | wenzelm | eliminated slightly odd Library/Library session setup (cf. d7711be8c3a9) which is obsolete due to usedir -f HOL_Library_ROOT.ML; | changeset | files |
Tue, 25 May 2010 20:28:16 +0200 | wenzelm | eliminated various catch-all exception patterns, guessing at the concrete exeptions that are intended here; | changeset | files |
Tue, 25 May 2010 20:22:55 +0200 | wenzelm | tuned -- avoid catch-all exception pattern; | changeset | files |