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
+100
+300
+1000
+3000
+10000
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.
learn MaSh facts on the fly
2013-08-20, by blanchet
allow MaSh query to do some learning as well
2013-08-20, by blanchet
tuning
2013-08-20, by blanchet
merged
2013-08-20, by blanchet
removed french option to manuals
2013-08-20, by blanchet
treat frees as both consts and vars, for more hits
2013-08-19, by blanchet
keep long names to stay on the safe side
2013-08-19, by blanchet
tuned;
2013-08-19, by wenzelm
tuned signature;
2013-08-19, by wenzelm
MaSh tweaking: shorter names + killed (broken) SNoW
2013-08-19, by blanchet
handle Bounds as well in MaSh features
2013-08-19, by blanchet
add subtypes as well as features in MaSh
2013-08-19, by blanchet
generate patterns for variables as well in MaSh (cf. HOL(y)Hammer)
2013-08-19, by blanchet
generate deep type patterns in MaSh
2013-08-19, by blanchet
improved ad hoc success detection in Mirabelle -- if the metis call fails and the structured proof succeeds, remember only the success
2013-08-19, by blanchet
tuned;
2013-08-18, by wenzelm
tuned proofs;
2013-08-18, by wenzelm
more static simpsets, which also avoids spurious warnings due to duplicate rules provided here;
2013-08-18, by wenzelm
more symbols;
2013-08-18, by wenzelm
more symbols;
2013-08-18, by wenzelm
merged
2013-08-18, by wenzelm
load_theories if continuous_checking;
2013-08-18, by wenzelm
discontinued redundant abbreviations -- Isabelle/jEdit provides keyboard shortcuts already;
2013-08-18, by wenzelm
prefer plain subscript;
2013-08-18, by wenzelm
tuned;
2013-08-18, by wenzelm
spelling and typos
2013-08-18, by haftmann
execution of int division by class semiring_numeral_div, replacing pdivmod by divmod_abs
2013-08-18, by haftmann
relaxed preconditions
2013-08-18, by haftmann
type class for generic division algorithm on numerals
2013-08-18, by haftmann
added lemma
2013-08-18, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip