| Sun, 22 Jul 2007 13:53:51 +0200 | wenzelm | clarified init/begin_theory: no longer depend on thy_info.ML; | changeset | files |
| Sun, 22 Jul 2007 13:53:49 +0200 | wenzelm | clarified Present.init; | changeset | files |
| Sun, 22 Jul 2007 13:53:47 +0200 | wenzelm | simplified ThyInfo.begin_theory; | changeset | files |
| Sun, 22 Jul 2007 13:53:46 +0200 | wenzelm | load present.ML earlier: no longer depend on thy_info.ML; | changeset | files |
| Sun, 22 Jul 2007 11:58:23 +0200 | wenzelm | chmod u+rw on all files; | changeset | files |
| Sat, 21 Jul 2007 23:25:00 +0200 | wenzelm | tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.); | changeset | files |
| Sat, 21 Jul 2007 17:40:40 +0200 | wenzelm | deps: maintain source specification of parents (prevents repeated ThyLoad.deps_thy); | changeset | files |