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 |
Tue, 20 Jul 2010 18:19:50 +0200 | wenzelm | edit_document: join parent execution in synchronous/uninterruptible mode, to prevent spurious interrupts when cascaded executions run into each other; | changeset | files |