Tue, 30 Aug 2011 16:04:26 +0200 | wenzelm | tuned signature; | 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, 23 Jun 2011 14:52:32 +0200 | wenzelm | explicit import java.lang.System to prevent odd scope problems; | file | diff | annotate |
Fri, 17 Jun 2011 13:55:53 +0200 | wenzelm | flush snapshot on falling edge of is_outdated -- recover effect of former buffer.propertiesChanged on text area (cf. f0770743b7ec); | 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 |