| Tue, 16 Nov 2010 22:40:45 +0100 | wenzelm | avoid spam; | file | diff | annotate |
| Wed, 10 Nov 2010 15:00:40 +0100 | wenzelm | some support for nested source structure, based on section headings; | file | diff | annotate |
| Wed, 22 Sep 2010 22:39:17 +0200 | wenzelm | Command.accumulate: refrain from adding tracing messages to markup tree -- potential scalability problem; | file | diff | annotate |
| Fri, 17 Sep 2010 17:10:44 +0200 | wenzelm | allow embedded reports in regular prover messages, to avoid side-effects for errors for example; | file | diff | annotate |