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 |