Wed, 06 Aug 2008 00:12:26 +0200 | wenzelm | T.end_position_of; | file | diff | annotate |
Sun, 20 Jul 2008 23:07:03 +0200 | wenzelm | renamed item to span, renamed contructors; | file | diff | annotate |
Wed, 25 Jun 2008 17:38:32 +0200 | wenzelm | moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces; | file | diff | annotate |
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 |