isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 tip

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

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 tip

isabelle