| Tue, 21 Aug 2012 22:26:34 +0200 | wenzelm | prefer File.full_path in accordance to check_file; | changeset | files |
| Tue, 21 Aug 2012 21:48:32 +0200 | wenzelm | more standard Thy_Load.check_thy for Pure.thy, relying on its header; | changeset | files |
| Tue, 21 Aug 2012 21:25:45 +0200 | wenzelm | updated Thy_Load.check_thy; | changeset | files |
| Tue, 21 Aug 2012 20:32:33 +0200 | wenzelm | refined Thy_Load.check_thy: find more uses in body text, based on keywords; | changeset | files |
| Tue, 21 Aug 2012 16:56:18 +0200 | wenzelm | more direct cumulation of (sparse) keywords; | changeset | files |
| Tue, 21 Aug 2012 14:54:29 +0200 | wenzelm | some support for thy_load_commands; | changeset | files |
| Tue, 21 Aug 2012 13:29:34 +0200 | wenzelm | tuned signature; | changeset | files |