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
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;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);
12 months ago, by wenzelm
tuned messages;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
back to static numa_nodes (reverting part of c2c59de57df9);
12 months ago, by wenzelm
tuned messages;
12 months ago, by wenzelm
canonical time function for List.nth
12 months ago, by Manuel Eberl
merged
12 months ago, by paulson
Streamlining of many more archaic proofs
12 months ago, by paulson
clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces);
12 months ago, by Fabian Huch
More tidying of old proofs
12 months ago, by paulson
merged
12 months ago, by paulson
More tidying and removal of "apply"
12 months ago, by paulson
Add subgoals variant of 'sketch' command
12 months ago, by Simon Wimmer
merged
12 months ago, by paulson
Tidied some messy proofs
12 months ago, by paulson
prefer canonical theorem name for fact collection declarations
12 months ago, by haftmann
merged
12 months ago, by paulson
Tidying ugly proofs
12 months ago, by paulson
tuned;
12 months ago, by Fabian Huch
tweaked time functions for median-of-medians selection in HOL-Data_Structures
12 months ago, by Manuel Eberl
merged
12 months ago, by wenzelm
rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04 beta;
12 months ago, by wenzelm
Tiny tweaks to proofs
12 months ago, by paulson
A bit of new material about type class "infinite", from Eval_FO
12 months ago, by paulson
avoid Scala if-expressions and thus make it work both for -new-syntax or -old-syntax;
13 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
tip