testboard: Graph

Mercurial Mercurial > repos > testboard / graph

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

fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes) draft default tip
11 days ago, by Manuel Eberl
new lemmas
11 days ago, by haftmann
discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog-prove";
12 days ago, by wenzelm
following recent Phabricator update, after 2021 Week 13 (Late March);
12 days ago, by wenzelm
merged
2 weeks ago, by paulson
Cosmetic: no !! in the lemma statement
2 weeks ago, by paulson
clarified README;
2 weeks ago, by wenzelm
more standard header, with utf-8 encoding;
2 weeks ago, by wenzelm
clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;
2 weeks ago, by wenzelm
merged
2 weeks ago, by nipkow
clarified signature;
2 weeks ago, by wenzelm
clarified: follow "isabelle version -t";
2 weeks ago, by wenzelm
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
2 weeks ago, by wenzelm
tuned signature -- more explicit types;
2 weeks ago, by wenzelm
more robust and uniform ISABELLE_TAGS;
2 weeks ago, by wenzelm
clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;
2 weeks ago, by wenzelm
simplified release status (again), in contrast to a43898f76ae9;
2 weeks ago, by wenzelm
more uniform HTTP resources;
2 weeks ago, by wenzelm
new automatic order prover: stateless, complete, verified
2 weeks ago, by nipkow
clarified (again): local tip could be actually more recent;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
clarified name;
2 weeks ago, by wenzelm
more systematic java_library: avoid empty entries, declaration order as for other bash functions;
2 weeks ago, by wenzelm
support sequential LaTeX jobs: more robust when TeX installation is self-installing packages etc.;
2 weeks ago, by wenzelm
updated to latest latex due to new mechanism for dealing with bold ccfonts
2 weeks ago, by nipkow
removal of needless hypothesis in hd_rev and last_rev
2 weeks ago, by paulson
more robust;
3 weeks ago, by wenzelm
clarified message;
3 weeks ago, by wenzelm
tuned;
3 weeks ago, by wenzelm

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

testboard