| Mon, 01 Dec 2014 14:24:05 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 12 Aug 2014 15:46:20 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 12 Aug 2014 15:31:24 +0200 | wenzelm | clarified Position.Identified: do not require range from prover, default to command position; | file | diff | annotate |
| Tue, 12 Aug 2014 14:15:58 +0200 | wenzelm | maintain Command_Range position as in ML; | file | diff | annotate |
| Tue, 12 Aug 2014 00:08:32 +0200 | wenzelm | separate module Command_Span: mostly syntactic representation; | file | diff | annotate |
| Mon, 11 Aug 2014 22:59:38 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 11 Aug 2014 22:43:26 +0200 | wenzelm | tuned output, in accordance to transaction name in ML; | file | diff | annotate |