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.
removed obsolete codegen setup; Stream -> SCons; tuned
2013-12-11, by traytel
merged
2013-12-11, by wenzelm
tuned patterns;
2013-12-11, by wenzelm
support for polml-5.5.2;
2013-12-11, by wenzelm
reverse order in which lines are selected, to ensure that the number of dependencies is accurate
2013-12-11, by blanchet
truncate proof once False is hit to avoid confusing the rest of the code (no idea why Z3 goes on)
2013-12-11, by blanchet
removed inlined rewriting'' for one-branch case splits in Isar proofs, since these can yield huge unreadable formulas
2013-12-11, by blanchet
Fib: Who needs the int version?
2013-12-11, by paulson
more work on Z3 Isar proofs
2013-12-10, by blanchet
streamlined two proofs
2013-12-09, by paulson
merged
2013-12-09, by wenzelm
alternative hires icon;
2013-12-09, by wenzelm
NEWS
2013-12-09, by haftmann
default code equations for make, fields, extend and truncate operations on records
2013-12-07, by haftmann
browse directory hyperlink as well;
2013-12-09, by wenzelm
provide @{file_unchecked} in Isabelle/Pure;
2013-12-09, by wenzelm
tuned;
2013-12-09, by wenzelm
more antiquotations;
2013-12-09, by wenzelm
added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE;
2013-12-09, by wenzelm
tuning -- moved ML files to subdirectory
2013-12-09, by blanchet
adapted code for Z3 proof reconstruction
2013-12-09, by blanchet
useful debugging info
2013-12-09, by blanchet
disable generalization in MaSh until it is shown to help
2013-12-09, by blanchet
bugfixes to Python MaSh related to alternative features
2013-12-09, by blanchet
compile
2013-12-09, by blanchet
generate problems with type classes
2013-12-09, by blanchet
added warning to documentation, based on isabelle-users thread
2013-12-09, by blanchet
more reasonable default weight
2013-12-09, by blanchet
added multiple feature capability to MaSh
2013-12-09, by blanchet
code equations for "local" (co)datatypes available after interpretation of locales with assumptions
2013-12-07, by traytel
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip