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 |