Sat, 27 Dec 2008 14:13:05 +0100 | wenzelm | renamed object Plugin to Isabelle; | file | diff | annotate |
Sun, 21 Dec 2008 21:43:40 +0100 | wenzelm | renamed Plugin.plugin to Plugin.self; | file | diff | annotate |
Sat, 20 Dec 2008 18:17:39 +0100 | wenzelm | renamed isabelle.prover.IsabelleSKParser to isabelle.jedit.IsabelleSideKickParser; | file | diff | annotate | base |