Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
+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 name
17 months ago, by nipkow
new simplifier trace_op for tracing simproc calls
17 months ago, by nipkow
merged
17 months ago, by paulson
Some new material about Ramsey's theorem, also sharpening the proof to deliver the Erdős–Szekeres upper bound on Ramsey numbers
17 months ago, by paulson
support Zipperposition's skolemization in generated Isar proofs
17 months ago, by blanchet
improved output in simps_case_conv;
17 months ago, by Fabian Huch
improved output in inductive module;
17 months ago, by Fabian Huch
simplifier: no trace info from simprocs unless simp_debug = true.
17 months ago, by nipkow
deal with new-style Vampire skolemization in reconstructed Isar proofs
17 months ago, by blanchet
database performance tuning: prefer light-weight IPC over heavy-duty transactions;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
tuned signature: follow PostgreSQL syntax instead of JDBC API;
17 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
+100
+300
+1000
+3000
tip