2013-11-11 |
wenzelm |
merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;
|
file |
diff |
annotate
|
2013-11-09 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
2013-11-05 |
wenzelm |
no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current;
|
file |
diff |
annotate
|
2013-10-30 |
wenzelm |
more on file-system access;
|
file |
diff |
annotate
|
2013-10-14 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2013-10-09 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
2013-10-04 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
2013-11-10 |
haftmann |
qualifed popular user space names
|
file |
diff |
annotate
|
2013-11-05 |
hoelzl |
NEWS
|
file |
diff |
annotate
|
2013-11-04 |
haftmann |
fact generalization and name consolidation
|
file |
diff |
annotate
|
2013-11-01 |
haftmann |
more simplification rules on unary and binary minus
|
file |
diff |
annotate
|
2013-10-31 |
haftmann |
purely algebraic foundation for even/odd
|
file |
diff |
annotate
|
2013-10-31 |
haftmann |
moving generic lemmas out of theory parity, disregarding some unused auxiliary lemmas;
|
file |
diff |
annotate
|
2013-10-03 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
2013-10-02 |
ballarin |
Streamlined locales reference material.
|
file |
diff |
annotate
|
2013-10-02 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2013-10-02 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
2013-10-02 |
traytel |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2013-10-02 |
kuncar |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2013-10-01 |
blanchet |
minor textual changes
|
file |
diff |
annotate
|
2013-09-29 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2013-09-29 |
wenzelm |
more on text completion;
|
file |
diff |
annotate
|
2013-09-28 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
2013-09-28 |
wenzelm |
uniform $ISABELLE_HOME on all platforms;
|
file |
diff |
annotate
|
2013-09-25 |
wenzelm |
updated documentation concerning MacOSX plugin 1.3;
|
file |
diff |
annotate
|
2013-09-24 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
2013-09-23 |
blanchet |
document "spy"
|
file |
diff |
annotate
|
2013-09-23 |
blanchet |
document "spy" option
|
file |
diff |
annotate
|
2013-09-20 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
2013-09-19 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
2013-09-18 |
blanchet |
updated NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2013-09-18 |
wenzelm |
improved printing of exception trace in Poly/ML 5.5.1;
|
file |
diff |
annotate
|
2013-09-17 |
lammich |
order_bot, order_top
|
file |
diff |
annotate
|
2013-09-17 |
noschinl |
NEWS: Simps_Case_Conv
|
file |
diff |
annotate
|
2013-09-16 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
2013-09-13 |
krauss |
merged
|
file |
diff |
annotate
|
2013-09-10 |
krauss |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2013-09-11 |
haftmann |
more correct NEWS
|
file |
diff |
annotate
|
2013-09-11 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2013-09-04 |
wenzelm |
remove Swing input map, which might bind keys in unexpected ways (e.g. LEFT/RIGHT in singleton list);
|
file |
diff |
annotate
|
2013-09-02 |
Andreas Lochbihler |
NEWS
|
file |
diff |
annotate
|
2013-08-31 |
wenzelm |
more accurate description: Swing/L&F has additional handlers;
|
file |
diff |
annotate
|
2013-08-30 |
wenzelm |
merged
|
file |
diff |
annotate
|
2013-08-30 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
2013-08-30 |
blanchet |
renamed command to clarify connection with BNF
|
file |
diff |
annotate
|
2013-08-30 |
blanchet |
updated news/contributors with BNF stuff
|
file |
diff |
annotate
|
2013-08-29 |
wenzelm |
added action isabelle.complete, using standard jEdit keyboard shortcut;
|
file |
diff |
annotate
|
2013-08-29 |
wenzelm |
some completion options;
|
file |
diff |
annotate
|
2013-08-29 |
wenzelm |
GTK+ works better due to avoidance of default list view popups;
|
file |
diff |
annotate
|
2013-08-28 |
wenzelm |
complete symbols only in backslash forms -- less intrusive editing, greater chance of finding escape sequence in text;
|
file |
diff |
annotate
|
2013-08-23 |
wenzelm |
clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL;
|
file |
diff |
annotate
|
2013-08-23 |
wenzelm |
obsolete (see 52790e3961fe);
|
file |
diff |
annotate
|
2013-08-23 |
wenzelm |
added action isabelle.reset-font-size;
|
file |
diff |
annotate
|
2013-08-23 |
wenzelm |
tuned -- some reformatting;
|
file |
diff |
annotate
|
2013-08-20 |
krauss |
renamed theory Mrec to Legacy_Mrec, no longer included by default
|
file |
diff |
annotate
|
2013-08-17 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
2013-08-13 |
wenzelm |
discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
|
file |
diff |
annotate
|
2013-08-13 |
wenzelm |
disable old identifier syntax by default, legacy_isub_isup := true may be used temporarily as fall-back;
|
file |
diff |
annotate
|
2013-08-09 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
2013-08-07 |
wenzelm |
more NEWS and CONTRIBUTORS;
|
file |
diff |
annotate
|