| 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 |
| Sun, 06 Jan 2008 16:36:29 +0100 | wenzelm | added interface for command-line option; | changeset | files |
| Sun, 06 Jan 2008 15:57:57 +0100 | wenzelm | removed obsolete prompt and channel markups; | changeset | files |