| Tue, 08 Jan 2008 10:24:34 +0100 |
berghofe |
imp_conv_disj is now declared as a "code unfold" lemma to avoid that
|
changeset |
files
|
| Mon, 07 Jan 2008 11:40:20 +0100 |
wenzelm |
isabelle.jars: temporarily disabled, until isatest gets up-to-date java;
|
changeset |
files
|
| Mon, 07 Jan 2008 02:24:24 +0100 |
urbanc |
some pre-release tunings
|
changeset |
files
|
| Sun, 06 Jan 2008 19:18:01 +0100 |
wenzelm |
more robust console thread (cf. jedit plugin version);
|
changeset |
files
|
| Sun, 06 Jan 2008 18:09:34 +0100 |
wenzelm |
build Isabelle process wrapper;
|
changeset |
files
|
| Sun, 06 Jan 2008 18:04:09 +0100 |
wenzelm |
* Rudimentary Isabelle plugin for jEdit;
|
changeset |
files
|
| 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
|
| 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
|
| Sun, 06 Jan 2008 15:57:56 +0100 |
wenzelm |
replaced prompt markup by prompt channel setup;
|
changeset |
files
|
| Sun, 06 Jan 2008 15:57:54 +0100 |
wenzelm |
removed obsolete prompt markup;
|
changeset |
files
|