| Tue, 22 Dec 2009 19:38:06 +0100 | wenzelm | renamed class Outer_Keyword to Outer_Syntax; | file | diff | annotate |
| Tue, 22 Dec 2009 15:31:02 +0100 | wenzelm | added completion -- lazy avoids excessive table building; | file | diff | annotate |
| Tue, 22 Dec 2009 15:00:03 +0100 | wenzelm | class Outer_Keyword wraps symbol interpretation, lexicon, keyword table; | file | diff | annotate |
| Sat, 29 Aug 2009 14:31:39 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Sun, 11 Jan 2009 21:49:59 +0100 | wenzelm | tuned categories; | file | diff | annotate |
| Sun, 11 Jan 2009 20:40:09 +0100 | wenzelm | added outer_keyword.scala: Isar command keyword classification; | file | diff | annotate |