| Fri, 19 Aug 2011 13:55:32 +0200 | editable raw text areas: allow user to clear content; | file | diff | annotate |
| Sat, 09 Jul 2011 21:53:27 +0200 | echo prover input via raw_messages, for improved protocol tracing; | file | diff | annotate |
| Mon, 04 Jul 2011 22:11:32 +0200 | quasi-static Isabelle_System -- reduced tendency towards "functorial style"; | file | diff | annotate |
| Thu, 30 Jun 2011 14:55:01 +0200 | prefer Isabelle path algebra; | file | diff | annotate |
| Thu, 23 Jun 2011 14:52:32 +0200 | explicit import java.lang.System to prevent odd scope problems; | file | diff | annotate |
| Wed, 08 Jun 2011 17:42:07 +0200 | moved sources -- eliminated Netbeans artifact of jedit package directory; | file | diff | annotate | base |