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 -14 +14 +100 +300 +1000 tip

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

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

isabelle