| 2013-11-25 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2013-11-21 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2013-11-20 |
wenzelm |
updated to Isabelle2013-2;
|
file |
diff |
annotate
|
| 2013-12-05 |
blanchet |
make sure acyclicity axiom gets generated in the case where the problem involves mutually recursive datatypes
|
file |
diff |
annotate
|
| 2013-12-05 |
Andreas Lochbihler |
news
|
file |
diff |
annotate
|
| 2013-11-26 |
traytel |
NEWS
|
file |
diff |
annotate
|
| 2013-11-25 |
haftmann |
even more precise NEWS
|
file |
diff |
annotate
|
| 2013-11-20 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2013-11-19 |
haftmann |
more correct NEWS
|
file |
diff |
annotate
|
| 2013-11-19 |
haftmann |
eliminiated neg_numeral in favour of - (numeral _)
|
file |
diff |
annotate
|
| 2013-11-16 |
wenzelm |
toplevel function "use" refers to raw ML bootstrap environment;
|
file |
diff |
annotate
|
| 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
|