isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip

canonical time function for List.nth
9 months ago, by Manuel Eberl
merged
9 months ago, by paulson
Streamlining of many more archaic proofs
9 months ago, by paulson
clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces);
9 months ago, by Fabian Huch
More tidying of old proofs
9 months ago, by paulson
merged
9 months ago, by paulson
More tidying and removal of "apply"
9 months ago, by paulson
Add subgoals variant of 'sketch' command
9 months ago, by Simon Wimmer
merged
9 months ago, by paulson
Tidied some messy proofs
9 months ago, by paulson
prefer canonical theorem name for fact collection declarations
9 months ago, by haftmann
merged
9 months ago, by paulson
Tidying ugly proofs
9 months ago, by paulson
tuned;
9 months ago, by Fabian Huch
tweaked time functions for median-of-medians selection in HOL-Data_Structures
9 months ago, by Manuel Eberl
merged
9 months ago, by wenzelm
rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04 beta;
9 months ago, by wenzelm
Tiny tweaks to proofs
9 months ago, by paulson
A bit of new material about type class "infinite", from Eval_FO
9 months ago, by paulson
avoid Scala if-expressions and thus make it work both for -new-syntax or -old-syntax;
9 months ago, by wenzelm
proper Scala code for String.literal_of_asciis: avoid ambiguity of ("" ++ ...);
9 months ago, by wenzelm
adjust generated Scala to make it work with scalac -old-syntax and -new-syntax, although the latter is not regularly tested;
9 months ago, by wenzelm
Add entry on Sketch_and_Explore to CONTRIBUTORS
9 months ago, by Simon Wimmer
moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory
9 months ago, by Manuel Eberl
more portable: prefer official JDBC operation DatabaseMetaData.getColumns();
9 months ago, by wenzelm
tuned signature;
9 months ago, by wenzelm
documented new syntax for fBall and fBex
9 months ago, by desharna
updated for release;
9 months ago, by wenzelm
Added tag Isabelle2024-RC1 for changeset 1231a7fb2510
9 months ago, by wenzelm
misc tuning for release;
9 months ago, by wenzelm
update for release;
9 months ago, by wenzelm
merged
9 months ago, by wenzelm
update to stack-2.15.5, stackage-lts-22.15;
9 months ago, by wenzelm
clarified names: discontinue odd convention from 3 decades ago;
9 months ago, by wenzelm
further performance tuning (after f906f7f83dae): interactive mode is closer to earlier approach with Lazy.value, which could be relevant with rather complex grammars under tight memory situations;
9 months ago, by wenzelm
added documentation for meromorphicity etc. in HOL-Complex_Analysis
9 months ago, by Manuel Eberl
merged
9 months ago, by desharna
merged
9 months ago, by desharna
added special syntax for FSet.Ball and FSet.Bex
9 months ago, by desharna
tuned proof
9 months ago, by desharna
tuned proofs of Equiv_Relations.equiv
9 months ago, by desharna
remove transitional (dummy) component list for Go
9 months ago, by Lars Hupel
clarified signature: prefer authentic cterm used in Simplifier, avoid potential re-certification in user-code;
9 months ago, by wenzelm
clarified names (see also 9c00a46d69d0, c5cd7a58cf2d);
9 months ago, by wenzelm
provide scala-3.4.1, but do not activate it: scala-3.3.x is LTS version;
9 months ago, by wenzelm
clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that "very_slow" is normally used together with "slow";
9 months ago, by wenzelm
moved over material from AFP; most importantly on algebraic numbers and algebraically closed fields
9 months ago, by Manuel Eberl
update NEWS;
9 months ago, by Fabian Huch
moved web_app module from AFP (e.g., for building web services for the distributed build);
9 months ago, by Fabian Huch
tuned;
9 months ago, by Fabian Huch
removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g. f150253cb201), but is superseded by AFP metadata (TOML);
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
clarified modules: more official Sessions.notable_groups;
9 months ago, by wenzelm
tuned
9 months ago, by nipkow
merged
9 months ago, by paulson
An assortment of new material, mostly due to Manuel
9 months ago, by paulson
rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;
9 months ago, by wenzelm
tuned signature;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
tuned signature;
9 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip

isabelle