| 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
|