Tue, 27 Jul 2010 23:02:45 +0200 | wenzelm | updated manual concerning theory loader; | changeset | files |
Tue, 27 Jul 2010 23:01:42 +0200 | wenzelm | theory loader: removed obsolete touch/outdate operations (require_thy no longer changes the database implicitly); | changeset | files |
Tue, 27 Jul 2010 22:42:53 +0200 | wenzelm | avoid repeated File.read for theory text (as before); | changeset | files |