Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+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.
clone of 0c51e0a6bc37;
9 months ago, by wenzelm
update Windows test machines;
9 months ago, by wenzelm
More tidying of proofs
9 months ago, by paulson
Another Nominal example
9 months ago, by paulson
merged
9 months ago, by paulson
Tidying up another Nominal example (SOS)
9 months ago, by paulson
update Windows build host;
9 months ago, by wenzelm
proper command-line;
9 months ago, by wenzelm
Tidying up another of the nominal examples
9 months ago, by paulson
More tidying of Nominal proofs
9 months ago, by paulson
Tidied up another messy theory
9 months ago, by paulson
More proof tidying for Nominal
9 months ago, by paulson
Tidying up more messy proofs
9 months ago, by paulson
Starting to tidy HOL-Nominal-Examples
9 months ago, by paulson
sketch & explore: recover from duplicate fixed variables in Isar proofs
10 months ago, by Simon Wimmer
back to post-release mode -- after fork point;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
Added tag Isabelle2024-RC2 for changeset ef2134570abb
10 months ago, by wenzelm
Acknowledgement of Ata Keskin for his Martingales material
10 months ago, by paulson
merged
10 months ago, by wenzelm
update to jdk-21.0.3;
10 months ago, by wenzelm
merged
10 months ago, by paulson
Tidied up horrible archaic proofs
10 months ago, by paulson
clarified signature;
10 months ago, by wenzelm
make adhoc_overloading respect type constraints
10 months ago, by Kevin Kappelmann
merged
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
minor performance tuning: avoid redundant server access;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified modules and options (from store);
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);
10 months ago, by wenzelm
tuned messages;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
back to static numa_nodes (reverting part of c2c59de57df9);
10 months ago, by wenzelm
tuned messages;
10 months ago, by wenzelm
canonical time function for List.nth
10 months ago, by Manuel Eberl
merged
10 months ago, by paulson
Streamlining of many more archaic proofs
10 months ago, by paulson
clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces);
10 months ago, by Fabian Huch
More tidying of old proofs
10 months ago, by paulson
merged
10 months ago, by paulson
More tidying and removal of "apply"
10 months ago, by paulson
Add subgoals variant of 'sketch' command
10 months ago, by Simon Wimmer
merged
10 months ago, by paulson
Tidied some messy proofs
10 months ago, by paulson
prefer canonical theorem name for fact collection declarations
10 months ago, by haftmann
merged
10 months ago, by paulson
Tidying ugly proofs
10 months ago, by paulson
tuned;
10 months ago, by Fabian Huch
tweaked time functions for median-of-medians selection in HOL-Data_Structures
10 months ago, by Manuel Eberl
merged
10 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip