Sun, 25 Nov 2012 20:17:04 +0100 | wenzelm | explicit module UTF8; | file | diff | annotate |
Tue, 17 Jul 2012 16:54:23 +0200 | wenzelm | tuned imports; | file | diff | annotate |
Thu, 07 Jul 2011 13:48:30 +0200 | wenzelm | simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style"; | file | diff | annotate |
Mon, 04 Jul 2011 22:11:32 +0200 | wenzelm | quasi-static Isabelle_System -- reduced tendency towards "functorial style"; | file | diff | annotate |
Wed, 22 Jun 2011 23:56:44 +0200 | wenzelm | prefer actual charset over charset name; | file | diff | annotate |
Wed, 08 Jun 2011 17:42:07 +0200 | wenzelm | moved sources -- eliminated Netbeans artifact of jedit package directory; | file | diff | annotate | base |