Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
tuned signature;
3 weeks ago, by wenzelm
documented new syntax for fBall and fBex
3 weeks ago, by desharna
updated for release;
3 weeks ago, by wenzelm
Added tag Isabelle2024-RC1 for changeset 1231a7fb2510
3 weeks ago, by wenzelm
misc tuning for release;
Isabelle2024-RC1
3 weeks ago, by wenzelm
update for release;
3 weeks ago, by wenzelm
merged
3 weeks ago, by wenzelm
update to stack-2.15.5, stackage-lts-22.15;
3 weeks ago, by wenzelm
clarified names: discontinue odd convention from 3 decades ago;
3 weeks 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;
3 weeks ago, by wenzelm
added documentation for meromorphicity etc. in HOL-Complex_Analysis
3 weeks ago, by Manuel Eberl
merged
3 weeks ago, by desharna
merged
4 weeks ago, by desharna
added special syntax for FSet.Ball and FSet.Bex
4 weeks ago, by desharna
tuned proof
4 weeks ago, by desharna
tuned proofs of Equiv_Relations.equiv
4 weeks ago, by desharna
remove transitional (dummy) component list for Go
3 weeks ago, by Lars Hupel
clarified signature: prefer authentic cterm used in Simplifier, avoid potential re-certification in user-code;
4 weeks ago, by wenzelm
clarified names (see also 9c00a46d69d0, c5cd7a58cf2d);
4 weeks ago, by wenzelm
provide scala-3.4.1, but do not activate it: scala-3.3.x is LTS version;
4 weeks ago, by wenzelm
clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that "very_slow" is normally used together with "slow";
4 weeks ago, by wenzelm
moved over material from AFP; most importantly on algebraic numbers and algebraically closed fields
4 weeks ago, by Manuel Eberl
update NEWS;
4 weeks ago, by Fabian Huch
moved web_app module from AFP (e.g., for building web services for the distributed build);
4 weeks ago, by Fabian Huch
tuned;
4 weeks 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);
4 weeks ago, by wenzelm
clarified signature;
4 weeks ago, by wenzelm
clarified modules: more official Sessions.notable_groups;
4 weeks ago, by wenzelm
tuned
4 weeks ago, by nipkow
merged
4 weeks ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
tip