Tue, 21 Oct 2008 21:48:16 +0200 | wenzelm | Isabelle/jEdit interface wrapper. | changeset | files |
Tue, 21 Oct 2008 21:47:49 +0200 | wenzelm | make Isabelle/jEdit distribution; | changeset | files |
Tue, 21 Oct 2008 17:32:23 +0200 | wenzelm | refined application.args; | changeset | files |