| Tue, 11 Mar 2008 20:30:46 +0100 | wenzelm | schedule main control: more robust interrupting of potentially running threads; | changeset | files |
| Tue, 11 Mar 2008 19:35:05 +0100 | wenzelm | message: proper root element for XML output; | changeset | files |
| Tue, 11 Mar 2008 18:20:47 +0100 | wenzelm | Proof.put_thms false; | changeset | files |
| Tue, 11 Mar 2008 17:13:41 +0100 | wenzelm | put_facts: do_props, i.e. facts are indexed by proposition again; | changeset | files |
| Tue, 11 Mar 2008 17:13:04 +0100 | wenzelm | put_thms: pass do_props; | changeset | files |
| Mon, 10 Mar 2008 21:51:47 +0100 | haftmann | tuned | changeset | files |
| Mon, 10 Mar 2008 21:51:46 +0100 | haftmann | dropped "include" feature of classes | changeset | files |
| Mon, 10 Mar 2008 21:51:45 +0100 | haftmann | some theorems named explicitly | changeset | files |