| Tue, 12 Aug 2008 21:28:03 +0200 | wenzelm | abstract type span, tuned interfaces; | file | diff | annotate |
| Thu, 07 Aug 2008 13:45:07 +0200 | wenzelm | updated type of nested sources; | file | diff | annotate |
| 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 |