Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+100
+300
+1000
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.
moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory
13 months ago, by Manuel Eberl
more portable: prefer official JDBC operation DatabaseMetaData.getColumns();
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
documented new syntax for fBall and fBex
13 months ago, by desharna
updated for release;
13 months ago, by wenzelm
Added tag Isabelle2024-RC1 for changeset 1231a7fb2510
13 months ago, by wenzelm
misc tuning for release;
13 months ago, by wenzelm
update for release;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
update to stack-2.15.5, stackage-lts-22.15;
13 months ago, by wenzelm
clarified names: discontinue odd convention from 3 decades ago;
13 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;
13 months ago, by wenzelm
added documentation for meromorphicity etc. in HOL-Complex_Analysis
13 months ago, by Manuel Eberl
merged
13 months ago, by desharna
merged
13 months ago, by desharna
added special syntax for FSet.Ball and FSet.Bex
13 months ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+100
+300
+1000
tip