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.
tuned
2014-06-07, by haftmann
avoid odd Named_Target.reinit altogether
2014-06-07, by haftmann
clarified terminology: toplevel is interwined with named targets in particular, not with local theories in general
2014-06-07, by haftmann
less baroque interface
2014-06-07, by haftmann
dropped obscure and unused ad-hoc before_exit hook for named targets
2014-06-06, by haftmann
added lemma
2014-06-06, by nipkow
mira: USER_HOME must exist for building JEdit documentation
2014-06-05, by noschinl
added lemmas
2014-06-06, by nipkow
sharpened criterion: bare named target is only at the bottom level
2014-06-05, by haftmann
tuned
2014-06-05, by haftmann
extended stream library
2014-06-05, by traytel
be more explicit: made sml/nj happy
2014-06-05, by haftmann
always refine interpretation morphism using canonical constant's definition theorem
2014-06-05, by haftmann
set USER_HOME to affect also ISABELLE_PATH et al
2014-06-04, by noschinl
merge
2014-06-03, by blanchet
updated SMT2 certificates
2014-06-03, by blanchet
tune
2014-06-03, by blanchet
disable hard-to-reconstruct Z3 feature
2014-06-03, by blanchet
new Z3 4.3.2 component, based on more recent repository version, and whose Mac binary was built on Mac OS X 10.7
2014-06-03, by blanchet
use 0 as integral-value for non-integrable functions, simplify a couple of rewrite rules
2014-06-03, by hoelzl
removed SMT weights -- their impact was very inconclusive anyway
2014-06-03, by blanchet
make SMT code less dependent on Z3 proofs
2014-06-03, by blanchet
tuning
2014-06-03, by blanchet
avoid division by 0
2014-06-02, by blanchet
formal treatment of dangling parameters for class abbrevs analogously to class consts
2014-06-02, by haftmann
explicit passing of params
2014-06-02, by haftmann
refactored Z3 to Isar proof construction code
2014-06-02, by blanchet
simplified counterexample handling
2014-06-02, by blanchet
split replay and proof parsing for Z3
2014-06-02, by blanchet
removed counterexample parser (obsolete and useless in practice)
2014-06-02, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip