| 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 |
| Tue, 25 May 2010 11:13:49 +0200 | wenzelm | updated generated files; | changeset | files |
| Tue, 25 May 2010 10:57:02 +0200 | wenzelm | merged | changeset | files |
| Mon, 24 May 2010 21:19:25 +0100 | webertj | merged | changeset | files |
| Mon, 24 May 2010 21:18:22 +0100 | webertj | Typo fixed. | changeset | files |