| Mon, 09 Sep 2013 15:22:04 +0200 |
blanchet |
limit the number of instances of a single theorem
|
changeset |
files
|
| Mon, 09 Sep 2013 15:22:04 +0200 |
blanchet |
move metis to new monomorphizer
|
changeset |
files
|
| Mon, 09 Sep 2013 15:22:04 +0200 |
blanchet |
use new monomorphizer in Sledgehammer
|
changeset |
files
|
| Mon, 09 Sep 2013 14:23:04 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Mon, 09 Sep 2013 14:22:11 +0200 |
blanchet |
include map theorems in datastructure for "primcorec"
|
changeset |
files
|
| Mon, 09 Sep 2013 13:47:58 +0200 |
blanchet |
enriched data structure with necessary theorems
|
changeset |
files
|
| Sun, 08 Sep 2013 19:25:06 +0200 |
wenzelm |
updated exe -- more explicit icon;
|
changeset |
files
|
| Sun, 08 Sep 2013 18:37:42 +0200 |
wenzelm |
more official lib/logo/isabelle.bmp;
|
changeset |
files
|
| Sun, 08 Sep 2013 18:10:12 +0200 |
wenzelm |
use windows_app based on WinRun4J;
|
changeset |
files
|
| Sun, 08 Sep 2013 17:51:56 +0200 |
wenzelm |
updated to WinRun4J;
|
changeset |
files
|
| Sun, 08 Sep 2013 12:26:07 +0200 |
traytel |
tuned whitespace
|
changeset |
files
|
| Sun, 08 Sep 2013 12:26:05 +0200 |
traytel |
don't register "sequential" as a keyword for now as this breaks the parser for function
|
changeset |
files
|
| Sat, 07 Sep 2013 23:09:26 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Sat, 07 Sep 2013 20:12:38 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 07 Sep 2013 19:45:36 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Sat, 07 Sep 2013 19:18:05 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Sat, 07 Sep 2013 18:37:25 +0200 |
wenzelm |
imitate "isabelle java" and "isabelle jedit" wrt. classpath and options (see also a221a4fdb5a0);
|
changeset |
files
|
| Sat, 07 Sep 2013 18:24:24 +0200 |
wenzelm |
generate application wrapper for Linux;
|
changeset |
files
|
| Sat, 07 Sep 2013 17:43:13 +0200 |
wenzelm |
observe "stopped" after Cygwin init (which is itself uninterruptible);
|
changeset |
files
|
| Sat, 07 Sep 2013 17:32:55 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Sat, 07 Sep 2013 17:23:05 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 07 Sep 2013 17:11:44 +0200 |
wenzelm |
Cygwin_Init based on System_Dialog;
|
changeset |
files
|
| Sat, 07 Sep 2013 16:33:10 +0200 |
wenzelm |
tuned imports;
|
changeset |
files
|
| Sat, 07 Sep 2013 15:28:16 +0200 |
wenzelm |
more robust exit;
|
changeset |
files
|
| Sat, 07 Sep 2013 15:10:33 +0200 |
wenzelm |
Build_Dialog based on System_Dialog;
|
changeset |
files
|
| Sat, 07 Sep 2013 14:14:25 +0200 |
wenzelm |
clarified close operations;
|
changeset |
files
|
| Sat, 07 Sep 2013 14:07:12 +0200 |
wenzelm |
clarified result;
|
changeset |
files
|
| Sat, 07 Sep 2013 13:59:47 +0200 |
wenzelm |
dialog for system processes, with optional output window;
|
changeset |
files
|