Tue, 05 Jul 2011 21:20:24 +0200 | wenzelm | Path.split convenience; | file | diff | annotate |
Mon, 04 Jul 2011 22:11:32 +0200 | wenzelm | quasi-static Isabelle_System -- reduced tendency towards "functorial style"; | file | diff | annotate |
Thu, 30 Jun 2011 14:55:01 +0200 | wenzelm | prefer Isabelle path algebra; | file | diff | annotate |
Sat, 25 Jun 2011 19:19:13 +0200 | wenzelm | clarified Markup.CLASS vs. HTML.CLASS; | file | diff | annotate |
Thu, 23 Jun 2011 14:52:32 +0200 | wenzelm | explicit import java.lang.System to prevent odd scope problems; | file | diff | annotate |
Sun, 19 Jun 2011 14:11:06 +0200 | wenzelm | some unicode chars for special control symbols; | file | diff | annotate |
Sat, 18 Jun 2011 17:32:13 +0200 | wenzelm | tuned -- Map.empty serves as partial function; | 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 |