| 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
|
| Sun, 06 Jan 2008 15:57:52 +0100 |
wenzelm |
removed unused of_stream;
|
changeset |
files
|
| Sun, 06 Jan 2008 15:57:51 +0100 |
wenzelm |
added explicit prompt channel (prompt_fn/prompt);
|
changeset |
files
|
| Sun, 06 Jan 2008 15:57:49 +0100 |
wenzelm |
removed obsolete prompt and channel markups;
|
changeset |
files
|
| Sat, 05 Jan 2008 23:05:29 +0100 |
chaieb |
Tuned relevant premises selection
|
changeset |
files
|
| Sat, 05 Jan 2008 21:57:18 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sat, 05 Jan 2008 21:37:24 +0100 |
wenzelm |
added symbol output mode, with XML escapes;
|
changeset |
files
|