| 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 |
| Tue, 07 Sep 2010 16:51:28 +0200 | wenzelm | Command.State.accumulate: check actual source range; | file | diff | annotate |
| Tue, 07 Sep 2010 16:40:30 +0200 | wenzelm | Isar_Document.reported_positions: slightly more robust treatment of positions outside the command range, notably parsing beyond EOF; | file | diff | annotate |