| Sun, 06 Jan 2008 17:11:11 +0100 | wenzelm | added plugin installation; | changeset | files |
| Sun, 06 Jan 2008 17:01:45 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 06 Jan 2008 16:59:42 +0100 | wenzelm | purge build directory; | changeset | files |
| Sun, 06 Jan 2008 16:57:25 +0100 | wenzelm | basic setup for Isabelle/jEdit plugin; | changeset | files |