Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2011-09-22
berghofe
merged
changeset
|
files
2011-09-22
berghofe
Added documentation for HOL-SPARK
changeset
|
files
2011-09-22
blanchet
drop partial monomorphic instances in Metis, like in Sledgehammer
changeset
|
files
2011-09-22
blanchet
better type reconstruction -- prevents ill-instantiations in proof replay
changeset
|
files
2011-09-22
hoelzl
NEWS: mention replacement lemmas for the removed ones in Complete_Lattices
changeset
|
files
2011-09-22
bulwahn
changing quickcheck_timeout to 30 seconds in mutabelle's testing
changeset
|
files
2011-09-22
bulwahn
adding post-processing of terms to narrowing-based Quickcheck
changeset
|
files
2011-09-22
huffman
HOL/ex/ROOT.ML: only list BinEx once
changeset
|
files
2011-09-21
huffman
merged
changeset
|
files
2011-09-21
huffman
remove redundant instantiation ereal :: power
changeset
|
files
2011-09-21
blanchet
reintroduced Minipick as Nitpick example
changeset
|
files
2011-09-21
blanchet
tuned comment
changeset
|
files
2011-09-21
huffman
merged
changeset
|
files
2011-09-20
huffman
Extended_Real_Limits: generalize some lemmas
changeset
|
files
Loading...
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip