Mon, 17 May 1999 21:33:22 +0200 | wenzelm | ThyInfo.finalize_all renamed to ThyInfo.finish; | file | diff | annotate |
Mon, 17 May 1999 16:59:49 +0200 | berghofe | Changed interface of function use_dir. | file | diff | annotate |
Wed, 12 May 1999 16:54:31 +0200 | wenzelm | rearranged some modules; | file | diff | annotate |
Thu, 11 Mar 1999 12:32:40 +0100 | wenzelm | moved Thy/session.ML to Isar/session.ML; | file | diff | annotate |