2009-02-01 immler merge
2009-01-24 immler take content of asset for description in status-view of Sidekick
2009-01-27 wenzelm eliminated Command.Status.REMOVE/REMOVED;
2009-01-27 wenzelm eliminated Command.Status.REMOVE/REMOVED;
2009-01-27 wenzelm eliminated Command.Status.REMOVE/REMOVED;
2009-01-27 wenzelm use plain toInt;
2009-01-27 wenzelm ProofDocument: pass is_command_keyword directly, not via full-blown Prover object;
2009-01-27 wenzelm eliminated Prover.start -- part of main constructor;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip