| Sun, 06 Jan 2013 17:38:29 +0100 |
blanchet |
put single-theorem names before multi-theorem ones (broken since 5d147d492792)
|
changeset |
files
|
| Sun, 06 Jan 2013 17:38:29 +0100 |
blanchet |
get rid of spurious "Isar" proofs
|
changeset |
files
|
| Sun, 06 Jan 2013 17:38:29 +0100 |
blanchet |
also generate queries for goals with too many Isar dependencies
|
changeset |
files
|
| Sun, 06 Jan 2013 12:44:45 +0100 |
wenzelm |
updated to scala-2.10.0;
|
changeset |
files
|
| Sun, 06 Jan 2013 10:02:34 +0100 |
blanchet |
merged
|
changeset |
files
|
| Sat, 05 Jan 2013 22:31:33 +0100 |
blanchet |
tuned message
|
changeset |
files
|
| Sat, 05 Jan 2013 22:31:32 +0100 |
blanchet |
tap after, not before command invocation
|
changeset |
files
|
| Sat, 05 Jan 2013 22:31:31 +0100 |
blanchet |
increased hard timeout -- minimization can take time
|
changeset |
files
|
| Sat, 05 Jan 2013 22:31:30 +0100 |
blanchet |
nicer output
|
changeset |
files
|
| Sat, 05 Jan 2013 22:31:30 +0100 |
blanchet |
pass option to minimize
|
changeset |
files
|
| Sat, 05 Jan 2013 23:03:07 +0100 |
wenzelm |
prefer apple.laf.useScreenMenuBar=true (despite cf. effcfa38e77b) to make it work better with full-screen mode;
|
changeset |
files
|
| Sat, 05 Jan 2013 22:02:44 +0100 |
wenzelm |
ignore vacuous edits (e.g. stemming from Plugin.init_models) to avoid pointless protocol round-trip, which could lead to painting of outdated snapshot in the meantime (notably on Windows);
|
changeset |
files
|
| Sat, 05 Jan 2013 21:41:19 +0100 |
wenzelm |
tuned JEDIT_JAVA_OPTIONS: increase chances that it works with approx. 8 cores and 32bit platform (notably Windows);
|
changeset |
files
|
| Sat, 05 Jan 2013 20:06:24 +0100 |
wenzelm |
propagate keys to enclosing view like org.gjt.sp.jedit.gui.CompletionPopup, but without its KeyEventInterceptor;
|
changeset |
files
|
| Sat, 05 Jan 2013 19:05:16 +0100 |
wenzelm |
premature window close means failure;
|
changeset |
files
|