| Sun, 06 Sep 2009 15:43:02 +0200 | wenzelm | treat all messages except status as results; | file | diff | annotate |
| Sun, 06 Sep 2009 13:31:22 +0200 | wenzelm | minor tuning; | file | diff | annotate |
| Sat, 05 Sep 2009 00:35:37 +0200 | wenzelm | eliminated MarkupInfo, moved particular variants into object Command; | file | diff | annotate |
| Fri, 04 Sep 2009 23:04:20 +0200 | wenzelm | minor tuning; | file | diff | annotate |
| Thu, 03 Sep 2009 17:26:25 +0200 | wenzelm | tuned imports; | file | diff | annotate |
| Thu, 03 Sep 2009 14:46:42 +0200 | wenzelm | State: immutable; | file | diff | annotate |
| Thu, 27 Aug 2009 16:41:36 +0200 | immler | lazy fields | file | diff | annotate |
| Thu, 27 Aug 2009 10:51:09 +0200 | immler | Command and Command_State handle results from prover as Accumulator | file | diff | annotate |
| Thu, 27 Aug 2009 10:51:09 +0200 | immler | trait Accumulator; | file | diff | annotate |