| Tue, 22 Dec 2009 19:39:17 +0100 | wenzelm | adapted to class Outer_Syntax; | file | diff | annotate |
| Tue, 22 Dec 2009 15:35:30 +0100 | wenzelm | just one variable for outer syntax keywords and completion; | file | diff | annotate |
| Fri, 11 Dec 2009 22:25:28 +0100 | wenzelm | removed unused Session.prover_logic; | file | diff | annotate |
| Tue, 08 Dec 2009 16:30:20 +0100 | wenzelm | misc modernization of names; | file | diff | annotate |
| Tue, 08 Dec 2009 14:49:01 +0100 | wenzelm | misc rearrangement of files; | file | diff | annotate | base |