Wed, 14 May 2008 11:05:08 +0200 | wenzelm | renamed Position.path to Path.position; | file | diff | annotate |
Thu, 12 Jul 2007 00:15:42 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Wed, 11 Jul 2007 17:47:52 +0200 | wenzelm | tuned markup; | file | diff | annotate |
Wed, 11 Jul 2007 00:29:52 +0200 | wenzelm | treat OuterLex.Error; | file | diff | annotate |
Tue, 10 Jul 2007 23:29:53 +0200 | wenzelm | Basic editing of theory sources. | file | diff | annotate |