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 names
2014-05-31, by haftmann
dropped accidental duplicate application of morphism
2014-05-31, by haftmann
generalizd measurability on restricted space; rule for integrability on compact sets
2014-05-30, by hoelzl
better support for restrict_space
2014-05-30, by hoelzl
must not cancel common factors on both sides of (in)equations in linear arithmetic decicision procedure
2014-05-30, by nipkow
merged
2014-05-30, by wenzelm
updated cygwin -- include perl_vendor for libwww-perl;
2014-05-30, by wenzelm
made 'Kuehlwein-style' be really like Python code, we now think
2014-05-30, by blanchet
make SML code closer to Python code when 'nb_kuehlwein_style' is true
2014-05-30, by blanchet
merge
2014-05-30, by blanchet
added sleep to give time for the server to shut down -- this is a hack, but it's only in experimental code that will hopefully soon go away
2014-05-30, by blanchet
introduce more powerful reindexing rules for big operators
2014-05-30, by hoelzl
merged
2014-05-30, by wenzelm
make double-sure that old popup is dismissed, before replacing it;
2014-05-30, by wenzelm
more robust bold_style, e.g. relevant for accidental \<^bold> before keyword;
2014-05-30, by wenzelm
added another way of invoking Python code, for experiments
2014-05-30, by blanchet
make SML naive Bayes closer to Python version
2014-05-30, by blanchet
tuned whitespace, to make datatype definitions slightly less intimidating
2014-05-30, by blanchet
more work on exporter
2014-05-30, by blanchet
got rid of 'linearize' option
2014-05-30, by blanchet
extend exporter with new versions of MaSh
2014-05-30, by blanchet
tuned
2014-05-30, by haftmann
tuned signature
2014-05-30, by haftmann
terminating code equations
2014-05-30, by haftmann
more direct passing of right-hand side
2014-05-29, by haftmann
even more uniform treatment of result after 95e5a633a18f
2014-05-29, by haftmann
Merge
2014-05-29, by paulson
New theorems to enable the simplification of certain functions when applied to specific natural number constants (such as 4)
2014-05-29, by paulson
removed Kleene_Algebra because of superior AFP entry; authors agreed
2014-05-29, by nipkow
typo
2014-05-29, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip