Sun, 07 Oct 2007 13:52:16 +0200 | wenzelm | tuned generated comment; | changeset | files |
Sun, 07 Oct 2007 13:48:06 +0200 | wenzelm | tuned; | changeset | files |
Sun, 07 Oct 2007 13:41:31 +0200 | wenzelm | Basic Isabelle mode for jEdit -- http://www.jedit.org/ | changeset | files |