Tue, 20 Jul 2010 20:10:27 +0200 | wenzelm | execute document version at high priority; | changeset | files |
Tue, 20 Jul 2010 18:33:19 +0200 | wenzelm | Topelevel.run_command: interactive mode for initial 'theory' ensures that Thy_Info.begin_theory loads parent theories; | changeset | files |