| Tue, 08 Jan 2008 11:37:37 +0100 |
haftmann |
normalization conversion
|
changeset |
files
|
| Tue, 08 Jan 2008 11:37:32 +0100 |
haftmann |
tuned comment
|
changeset |
files
|
| Tue, 08 Jan 2008 11:37:30 +0100 |
haftmann |
explicit type variables for instantiation
|
changeset |
files
|
| Tue, 08 Jan 2008 11:37:29 +0100 |
haftmann |
better error reporting
|
changeset |
files
|
| Tue, 08 Jan 2008 11:37:28 +0100 |
haftmann |
tuned
|
changeset |
files
|
| Tue, 08 Jan 2008 11:37:27 +0100 |
haftmann |
refined overloading target
|
changeset |
files
|
| 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
|
| 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
|