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
-28
+28
+50
+100
+300
+1000
+3000
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;
19 months ago, by wenzelm
More metric space material
18 months ago, by paulson
merged
18 months ago, by paulson
New and generalised analysis lemmas
18 months ago, by paulson
tuned names
19 months ago, by nipkow
clarified signature: prefer explicit combinator;
19 months ago, by wenzelm
unused;
19 months ago, by wenzelm
restore heaps from database, which takes precedence over file-system;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
more operations;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
more robust try-finally;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
proper clean_entry;
19 months ago, by wenzelm
afford larger build_database_slice for better compression (HOL: 1 slice, HOL-Proofs: multiple slices for testing);
19 months ago, by wenzelm
prefer system option;
19 months ago, by wenzelm
clarified signature: more explicit class SQL.Data;
19 months ago, by wenzelm
proper ML_Heap.clean_entry;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
store heaps within database server;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
early inclusion of cvc5 proof reconstruction; slightly reorganize smt/z3_reals;
19 months ago, by Mathias Fleury
merged
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
tip