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 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 tip

tuned;
2017-01-22, by wenzelm
build_jdk in Scala;
2017-01-22, by wenzelm
corrected static scope: multi-argument composition does not apply partially
2017-01-21, by haftmann
less complex rewriting of Argo expressions: select candidate rewrite rules by analyzing only on the kind of the head expression, then select the applicable rewrite rule using ML pattern matching; keep all normalization code in a single place: modules of decision procedures focus on their core aspects; more normalization for non-linear arithmetic
2017-01-20, by boehmes
tuned;
2017-01-20, by wenzelm
added postorder
2017-01-20, by nipkow
tuned
2017-01-20, by nipkow
int version slicker
2017-01-19, by nipkow
tuned
2017-01-19, by nipkow
tuned
2017-01-18, by nipkow
clarified theory name;
2017-01-18, by wenzelm
New material from Bertrand's postulate (file Bertrand_Discrete_Sqrt), and tidied an old messy proof
2017-01-18, by paulson
tuned
2017-01-17, by nipkow
removed some old ASCII syntax;
2017-01-17, by wenzelm
prefer context groups;
2017-01-17, by wenzelm
misc tuning and modernization;
2017-01-17, by wenzelm
prefer context groups;
2017-01-17, by wenzelm
more symbols;
2017-01-17, by wenzelm
misc tuning and modernization;
2017-01-17, by wenzelm
isabelle update_cartouches -c -t;
2017-01-17, by wenzelm
more symbols via abbrevs;
2017-01-17, by wenzelm
tuned signature;
2017-01-16, by wenzelm
clarified classical rules;
2017-01-16, by wenzelm
misc tuning and updates according to Curry-Club Dec-2016;
2017-01-16, by wenzelm
added option -n, e.g. useful to generate Dockerfile only;
2017-01-16, by wenzelm
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
2017-01-16, by wenzelm
tuned -- nicer generated bash source;
2017-01-16, by wenzelm
afford approx. 10MB for curl, e.g. required for "isabelle components";
2017-01-15, by wenzelm

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

isabelle