| Sat, 31 Aug 2013 23:55:03 +0200 |
traytel |
merged
|
changeset |
files
|
| Sat, 31 Aug 2013 23:49:36 +0200 |
traytel |
modernized example
|
changeset |
files
|
| Sat, 31 Aug 2013 23:49:14 +0200 |
traytel |
honor mixfix specifications
|
changeset |
files
|
| Sat, 31 Aug 2013 23:52:32 +0200 |
panny |
merge
|
changeset |
files
|
| Sat, 31 Aug 2013 20:37:31 +0200 |
panny |
simplified recursive calls' replacement
|
changeset |
files
|
| Sat, 31 Aug 2013 22:32:43 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 31 Aug 2013 22:18:51 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Sat, 31 Aug 2013 18:12:51 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Sat, 31 Aug 2013 13:34:39 +0200 |
wenzelm |
provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
|
changeset |
files
|
| Sat, 31 Aug 2013 13:20:18 +0200 |
wenzelm |
uniform abbrevs for left/right arrows;
|
changeset |
files
|
| Sat, 31 Aug 2013 13:05:04 +0200 |
wenzelm |
more abbrevs according to Isabelle/HOL ASCII replacement syntax;
|
changeset |
files
|
| Sat, 31 Aug 2013 12:53:39 +0200 |
wenzelm |
added common alternative for == (its ambiguity also avoids conflict with ==>);
|
changeset |
files
|
| Sat, 31 Aug 2013 12:14:19 +0200 |
wenzelm |
more accurate description: Swing/L&F has additional handlers;
|
changeset |
files
|
| Sat, 31 Aug 2013 18:18:33 +0200 |
panny |
handle selector formulae with no corecursive calls
|
changeset |
files
|