isabelle: Graph

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 tip

tidied more proofs
10 days ago, by paulson
removed duplicate lemmas
11 days ago, by Manuel Eberl
lots of lemmas for HOL, HOL-{Complex_}Analysis, HOL-Number_Theory
11 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
11 days ago, by haftmann
corrected operation
11 days ago, by haftmann
tuned whitespace
11 days ago, by haftmann
Simplified old proofs
11 days ago, by paulson
merged
12 days ago, by wenzelm
update to recent MSYS2 / MinGW, which also works via Cygwin;
12 days ago, by wenzelm
tuned
12 days ago, by haftmann
tuned
12 days ago, by haftmann
tuned
12 days ago, by haftmann
tuned
12 days ago, by haftmann
revamped generation of functions
12 days ago, by haftmann
NEWS
12 days ago, by haftmann
typo
12 days ago, by haftmann
tuned
13 days ago, by desharna
merged
13 days ago, by paulson
Tidied some proofs
13 days ago, by paulson
merged
13 days 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
clarified default options: prefer GMP from source;
2 weeks ago, by wenzelm
Tidied more messy old proofs
2 weeks ago, by paulson
more tidying and simplifying
2 weeks ago, by paulson
merged
2 weeks ago, by paulson
tidying some old proofs
2 weeks ago, by paulson
Generalised a lemma and added another
2 weeks ago, by paulson
merged
2 weeks ago, by wenzelm
more robust;
2 weeks ago, by wenzelm
more robust;
2 weeks ago, by wenzelm
clarified GMP build options, notably for Windows;
2 weeks ago, by wenzelm
more robust access to GMP library that is provided here;
2 weeks ago, by wenzelm
clarified command-line;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
more uniform verbose mode;
2 weeks ago, by wenzelm
more explicit build stages;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
more uniform platform_context.execute;
2 weeks ago, by wenzelm
more robust shell script;
2 weeks ago, by wenzelm
tuned comments;
2 weeks ago, by wenzelm
A couple of new lemmas
2 weeks ago, by paulson
merged
2 weeks ago, by wenzelm
clarified Windows: always use MinGW version (it is unclear how to build libgmp-10.dll);
2 weeks ago, by wenzelm
clarified signature: fewer warnings in IntelliJ IDEA;
2 weeks ago, by wenzelm
tuned: prefer explicit Bash.exports;
2 weeks ago, by wenzelm
tuned signature;
2 weeks ago, by wenzelm
clarified signature: more explicit type Platform_Context;
2 weeks ago, by wenzelm
added option -G to build GMP library from sources;
2 weeks ago, by wenzelm
Another Eberl lemma plus tidying
2 weeks ago, by paulson
Another of Manuel's theorems
2 weeks ago, by paulson

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 tip

isabelle