| Tue, 08 Apr 2014 15:12:54 +0200 | wenzelm | tuned signature -- moved Command.Chunk to Text.Chunk; | file | diff | annotate |
| Tue, 08 Apr 2014 12:19:33 +0200 | wenzelm | more explicit Command.Chunk types, less ooddities; | file | diff | annotate |
| Fri, 04 Apr 2014 10:41:53 +0200 | wenzelm | afford larger full_index, to save a few milliseconds during rendering (notably text_overview); | file | diff | annotate |
| Thu, 03 Apr 2014 21:08:00 +0200 | wenzelm | clarified Version.syntax -- avoid guessing initial situation; | file | diff | annotate |
| Thu, 03 Apr 2014 20:53:35 +0200 | wenzelm | more abstract Prover.Syntax, as proposed by Carst Tankink; | file | diff | annotate |
| Wed, 02 Apr 2014 20:41:44 +0200 | wenzelm | tuned signature -- more explicit iterator terminology; | file | diff | annotate |
| Wed, 02 Apr 2014 20:22:12 +0200 | wenzelm | more explicit iterator terminology, in accordance to Scala 2.8 library; | file | diff | annotate |