2009-02-01 | immler | merge | changeset | files |
2009-01-24 | immler | take content of asset for description in status-view of Sidekick | changeset | files |
2009-01-27 | wenzelm | eliminated Command.Status.REMOVE/REMOVED; | changeset | files |
2009-01-27 | wenzelm | eliminated Command.Status.REMOVE/REMOVED; | changeset | files |
2009-01-27 | wenzelm | eliminated Command.Status.REMOVE/REMOVED; | changeset | files |
2009-01-27 | wenzelm | use plain toInt; | changeset | files |
2009-01-27 | wenzelm | ProofDocument: pass is_command_keyword directly, not via full-blown Prover object; | changeset | files |
2009-01-27 | wenzelm | eliminated Prover.start -- part of main constructor; | changeset | files |
Loading... |