| 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
|
| 2013-07-31 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2013-07-31 |
wenzelm |
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
|
file |
diff |
annotate
|
| 2013-07-30 |
wenzelm |
type theory is purely value-oriented;
|
file |
diff |
annotate
|
| 2013-07-29 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2013-07-27 |
wenzelm |
discontinued historic document formats;
|
file |
diff |
annotate
|
| 2013-07-27 |
wenzelm |
avoid predefined symbols -- allow editing with Isabelle/jEdit in isabelle-news mode;
|
file |
diff |
annotate
|
| 2013-07-27 |
wenzelm |
discontinued ISABELLE_DOC_FORMAT;
|
file |
diff |
annotate
|
| 2013-07-13 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2013-07-13 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2013-07-13 |
haftmann |
attribute "code" declares concrete and abstract code equations uniformly; added explicit "code equation" instead
|
file |
diff |
annotate
|