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
-30
+30
+50
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.
tidied more proofs
11 days ago, by paulson
removed duplicate lemmas
11 days ago, by Manuel Eberl
lots of lemmas for HOL, HOL-{Complex_}Analysis, HOL-Number_Theory
12 days ago, by Manuel Eberl
new lemmas for HOL-Complex_Analysis; overhaul of isolated_zeros
12 days ago, by Manuel Eberl
official theory for using bit shift operations for ordinary arithmetic if feasible
12 days ago, by haftmann
corrected operation
12 days ago, by haftmann
tuned whitespace
12 days ago, by haftmann
Simplified old proofs
12 days ago, by paulson
merged
13 days ago, by wenzelm
update to recent MSYS2 / MinGW, which also works via Cygwin;
13 days ago, by wenzelm
tuned
13 days ago, by haftmann
tuned
13 days ago, by haftmann
tuned
13 days ago, by haftmann
tuned
13 days ago, by haftmann
revamped generation of functions
13 days ago, by haftmann
NEWS
13 days ago, by haftmann
typo
13 days ago, by haftmann
tuned
13 days ago, by desharna
merged
2 weeks ago, by paulson
Tidied some proofs
2 weeks ago, by paulson
merged
2 weeks ago, by wenzelm
clarified signature: more uniform;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
more accurate MinGW path conversion: support locations outside of mingw.root;
2 weeks ago, by wenzelm
tuned messages;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
more uniform directory structure: Windows DLLs are treated like binaries;
2 weeks ago, by wenzelm
tuned messages;
2 weeks ago, by wenzelm
more uniform make_polyml_gmp vs. make_polyml;
2 weeks ago, by wenzelm
clarified options: explicit use of existing GMP library;
2 weeks ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
tip