Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-50
-30
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
CONTRIBUTORS
2010-08-23
hoelzl
Rewrite the Probability theory.
file
|
diff
|
annotate
2010-08-17
haftmann
NEWS and CONTRIBUTORS
file
|
diff
|
annotate
2010-06-07
wenzelm
back to non-release mode;
file
|
diff
|
annotate
2010-06-03
krauss
CONTRIBUTORS
file
|
diff
|
annotate
2010-06-02
wenzelm
more CONTRIBUTORS;
file
|
diff
|
annotate
2010-05-27
wenzelm
misc updates for release;
file
|
diff
|
annotate
2010-04-27
haftmann
NEWS and CONTRIBUTORS
file
|
diff
|
annotate
2009-12-04
wenzelm
back to after-release mode;
file
|
diff
|
annotate
2009-11-25
wenzelm
tuned affiliation;
file
|
diff
|
annotate
2009-11-25
boehmes
extended list of HOL-Boogie contributors
file
|
diff
|
annotate
2009-11-23
haftmann
CONTRIBUTORS
file
|
diff
|
annotate
2009-11-22
wenzelm
more NEWS, more tuning for release;
file
|
diff
|
annotate
2009-11-22
wenzelm
misc tuning and updates for official release;
file
|
diff
|
annotate
2009-11-19
hoelzl
Added the contributions of Robert Himmelmann to CONTRIBUTIONS and NEWS
file
|
diff
|
annotate
2009-11-12
bulwahn
added a tabled implementation of the reflexive transitive closure
file
|
diff
|
annotate
2009-11-12
bulwahn
announcing the predicate compiler in NEWS and CONTRIBUTORS
file
|
diff
|
annotate
2009-11-03
boehmes
added HOL-Boogie
file
|
diff
|
annotate
2009-10-26
blanchet
merged
file
|
diff
|
annotate
2009-10-22
blanchet
added Nitpick's theory and ML files to Isabelle/HOL;
file
|
diff
|
annotate
2009-10-26
wenzelm
misc tuning and updates;
file
|
diff
|
annotate
2009-10-20
boehmes
added proof reconstructon for Z3,
file
|
diff
|
annotate
2009-10-19
haftmann
CONTRIBUTORS
file
|
diff
|
annotate
2009-09-29
wenzelm
Thomas Sewell, NICTA: more efficient HOL/record implementation;
file
|
diff
|
annotate
2009-09-18
boehmes
added new method "smt": an oracle-based connection to external SMT solvers
file
|
diff
|
annotate
2009-09-18
haftmann
tuned NEWS, added CONTRIBUTORS
file
|
diff
|
annotate
2009-07-24
Philipp Meyer
Functionality for sum of squares to call a remote csdp prover
file
|
diff
|
annotate
2009-07-14
haftmann
NEWS and CONTRIBUTORS
file
|
diff
|
annotate
2009-06-05
haftmann
CONTRIBUTORS
file
|
diff
|
annotate
2009-04-25
wenzelm
post Isabelle2009 version;
file
|
diff
|
annotate
2009-04-08
wenzelm
updated official title of contribution by Johannes Hoelzl;
file
|
diff
|
annotate
less
more
(0)
-50
-30
tip