Sun, 24 Aug 2008 18:11:20 +0200 | repackaged as isabelle.jedit; | file | diff | annotate |
Sun, 20 Jul 2008 20:23:49 +0200 | SideKickParsedData: minimal content; | file | diff | annotate |
Sun, 06 Jan 2008 16:57:25 +0100 | basic setup for Isabelle/jEdit plugin; | file | diff | annotate |