| 7 weeks ago |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| 7 weeks ago |
wenzelm |
more NEWS + CONTRIBUTORS;
|
file |
diff |
annotate
|
| 7 weeks ago |
Lukas Bartl |
tuned documentation and order of instantiated facts
|
file |
diff |
annotate
|
| 7 weeks ago |
wenzelm |
proper latin "A" instead of greek "Alpha";
|
file |
diff |
annotate
|
| 8 weeks ago |
wenzelm |
misc tuning and updates for release;
|
file |
diff |
annotate
|
| 4 months ago |
blanchet |
variable instantiation in Sledgehammer and Metis
|
file |
diff |
annotate
|
| 5 months ago |
Fabian Huch |
NEWS and CONTRIBUTORS;
|
file |
diff |
annotate
|
| 7 months ago |
Fabian Huch |
NEWS and CONTRIBUTORS;
|
file |
diff |
annotate
|
| 10 months ago |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| 10 months ago |
paulson |
Acknowledgement of Ata Keskin for his Martingales material
|
file |
diff |
annotate
|
| 11 months ago |
Simon Wimmer |
Add entry on Sketch_and_Explore to CONTRIBUTORS
|
file |
diff |
annotate
|
| 11 months ago |
Manuel Eberl |
moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory
|
file |
diff |
annotate
|
| 11 months ago |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 11 months ago |
nipkow |
documented running time function framework by Jonas Stahl
|
file |
diff |
annotate
|
| 11 months ago |
Manuel Eberl |
more general definition of meromorphicity; Weierstraß factorisation theorem
|
file |
diff |
annotate
|
| 11 months ago |
wenzelm |
update NEWS + CONTRIBUTORS for release;
|
file |
diff |
annotate
|
| 12 months ago |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 16 months ago |
Fabian Huch |
NEWS and CONTRIBUTORS;
|
file |
diff |
annotate
|
| 18 months ago |
wenzelm |
merged
|
file |
diff |
annotate
|
| 18 months ago |
wenzelm |
minimal documentation for build cluster support;
|
file |
diff |
annotate
|
| 18 months ago |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| 19 months ago |
wenzelm |
update for release;
|
file |
diff |
annotate
|
| 20 months ago |
Mathias Fleury |
early inclusion of cvc5 proof reconstruction; slightly reorganize smt/z3_reals;
|
file |
diff |
annotate
|
| 21 months ago |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2022-10-14 |
nipkow |
new contributor
|
file |
diff |
annotate
|
| 2022-10-02 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| 2022-09-09 |
wenzelm |
tuning and updates for release;
|
file |
diff |
annotate
|
| 2022-09-02 |
wenzelm |
more CONTRIBUTORS + NEWS;
|
file |
diff |
annotate
|
| 2022-07-04 |
haftmann |
officical abstract characters for code generation
|
file |
diff |
annotate
|
| 2022-06-27 |
traytel |
tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2022-04-03 |
haftmann |
adjusted printing of type annotations to accomodate Scala 3
|
file |
diff |
annotate
|
| 2022-04-01 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
| 2022-03-29 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2022-02-22 |
wenzelm |
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
|
file |
diff |
annotate
|
| 2021-11-12 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| 2021-11-03 |
wenzelm |
improved HTML presentation by Fabian Huch;
|
file |
diff |
annotate
|
| 2021-10-26 |
wenzelm |
more CONTRIBUTORS and NEWS;
|
file |
diff |
annotate
|
| 2021-10-07 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 2021-10-06 |
eberlm |
new notion of infinite sums in HOL-Analysis, ordering on complex numbers
|
file |
diff |
annotate
|
| 2021-10-07 |
desharna |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2021-10-04 |
wenzelm |
more NEWS and CONTRIBUTORS;
|
file |
diff |
annotate
|
| 2021-10-02 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 2021-07-17 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|
| 2021-07-08 |
desharna |
added documentation for changes to Sledgehammer option "lam_trans"
|
file |
diff |
annotate
|
| 2021-03-31 |
nipkow |
new automatic order prover: stateless, complete, verified
|
file |
diff |
annotate
|
| 2021-03-25 |
haftmann |
dedicated session for combinatorial material
|
file |
diff |
annotate
|
| 2021-03-19 |
wenzelm |
more CONTRIBUTORS;
|
file |
diff |
annotate
|
| 2021-03-17 |
wenzelm |
more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster;
|
file |
diff |
annotate
|
| 2021-02-19 |
Manuel Eberl |
HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.
|
file |
diff |
annotate
|
| 2021-01-31 |
Andreas Lochbihler |
contributors
|
file |
diff |
annotate
|
| 2021-01-24 |
wenzelm |
merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;
|
file |
diff |
annotate
|
| 2021-01-17 |
wenzelm |
revert 1105c42722dc on isabelle-release branch;
|
file |
diff |
annotate
|
| 2021-01-14 |
paulson |
new magerial from Jakub Kądziołka
|
file |
diff |
annotate
|
| 2021-01-10 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| 2021-01-10 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2021-01-08 |
Manuel Eberl |
HOL-Data_Structures: added Selection and time functions for list functions
|
file |
diff |
annotate
|
| 2021-01-06 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2020-12-29 |
nipkow |
more lemmas
|
file |
diff |
annotate
|
| 2020-12-27 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2020-12-21 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|