| 2016-02-12 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2016-02-01 |
wenzelm |
tuned NEWS: long-running tasks can still prevent urgent tasks from being started, due to start_execution pri = 0;
|
file |
diff |
annotate
|
| 2016-01-31 |
wenzelm |
more on "ML debugging within the Prover IDE";
|
file |
diff |
annotate
|
| 2016-01-24 |
wenzelm |
proper NEWS for this release;
|
file |
diff |
annotate
|
| 2016-01-24 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2016-01-24 |
wenzelm |
discontinued irregular abbrevs: ".o" counts as word, "+o", "*o", "-o" are occasionally used as ASCII notation, "*o" is in conflict with "(*o" in comments;
|
file |
diff |
annotate
|
| 2016-01-22 |
wenzelm |
tuned markup, e.g. relevant for Rendering.tooltip;
|
file |
diff |
annotate
|
| 2016-01-20 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| 2016-01-20 |
blanchet |
fixed NEWS w.r.t. multisets
|
file |
diff |
annotate
|
| 2016-01-20 |
blanchet |
added 'supset' variants for new '<#' etc. symbols on multisets
|
file |
diff |
annotate
|
| 2016-01-19 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2016-01-19 |
Manuel Eberl |
Added approximation of powr to NEWS/CONTRIBUTORS
|
file |
diff |
annotate
|
| 2016-01-13 |
wenzelm |
removed old 'defs' command;
|
file |
diff |
annotate
|
| 2016-01-13 |
wenzelm |
Eisbach works for other object-logics, e.g. Eisbach_FOL.thy;
|
file |
diff |
annotate
|
| 2016-01-13 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2016-01-13 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| 2016-01-12 |
wenzelm |
more good NEWS;
|
file |
diff |
annotate
|
| 2016-01-11 |
kleing |
print_record NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2016-01-09 |
wenzelm |
generate HTML version of NEWS, with proper symbol rendering;
|
file |
diff |
annotate
|
| 2016-01-09 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2016-01-09 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2016-01-09 |
wenzelm |
\<struct> loses its rendering and is superseded by \<diamondop>;
|
file |
diff |
annotate
|
| 2016-01-09 |
wenzelm |
discontinued \<struct> syntax;
|
file |
diff |
annotate
|
| 2016-01-08 |
hoelzl |
add uniform spaces
|
file |
diff |
annotate
|
| 2016-01-08 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2016-01-08 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2016-01-07 |
wenzelm |
more uniform treatment of package internals;
|
file |
diff |
annotate
|
| 2016-01-07 |
Manuel Eberl |
Added formal power series updates to NEWS/CONTRIBUTORS
|
file |
diff |
annotate
|
| 2016-01-06 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 2016-01-06 |
hoelzl |
add the proof of the central limit theorem
|
file |
diff |
annotate
|
| 2016-01-06 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| 2016-01-05 |
wenzelm |
added ML antiquotation @{method};
|
file |
diff |
annotate
|
| 2016-01-05 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 2016-01-05 |
eberlm |
Added summability/Gamma/etc. to NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2016-01-02 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2016-01-01 |
wenzelm |
oops;
|
file |
diff |
annotate
|
| 2016-01-01 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2016-01-01 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| 2015-12-31 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 2015-12-31 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
| 2015-12-31 |
wenzelm |
documentation for "isabelle jedit_client";
|
file |
diff |
annotate
|
| 2015-12-30 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| 2015-12-30 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| 2015-12-30 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| 2015-12-29 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| 2015-12-29 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| 2015-12-29 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| 2015-12-29 |
wenzelm |
more arrow symbols;
|
file |
diff |
annotate
|
| 2015-12-29 |
wenzelm |
more arrow symbols;
|
file |
diff |
annotate
|
| 2015-12-29 |
wenzelm |
support additional abbrevs;
|
file |
diff |
annotate
|
| 2015-12-29 |
wenzelm |
isabelle console: print mode "ASCII";
|
file |
diff |
annotate
|
| 2015-12-28 |
wenzelm |
former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
|
file |
diff |
annotate
|
| 2015-12-27 |
wenzelm |
discontinued ASCII replacement syntax <*>;
|
file |
diff |
annotate
|
| 2015-12-27 |
wenzelm |
discontinued ASCII replacement syntax <->;
|
file |
diff |
annotate
|
| 2015-12-23 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2015-12-22 |
paulson |
Liouville theorem, Fundamental Theorem of Algebra, etc.
|
file |
diff |
annotate
|
| 2015-12-21 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
| 2015-12-21 |
haftmann |
merged
|
file |
diff |
annotate
|
| 2015-12-19 |
haftmann |
documentation on last state of the art concerning interpretation
|
file |
diff |
annotate
|
| 2015-12-21 |
wenzelm |
more explicit ML profiling, with official Isabelle output;
|
file |
diff |
annotate
|