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

more checks for release;
2019-12-16, by wenzelm
more packages: required for svn;
2019-12-16, by wenzelm
more robust setup: avoid blind shot at "the latest" version;
2019-12-16, by wenzelm
more documentation;
2019-12-16, by wenzelm
proper default;
2019-12-16, by wenzelm
more robust: avoid accidental use of stdin;
2019-12-16, by wenzelm
support for Phabricator upgrade;
2019-12-16, by wenzelm
tuned signature;
2019-12-16, by wenzelm
tuned message;
2019-12-14, by wenzelm
avoid odd (harmless) problem with Mercurial 4.5.3 provided by Ubuntu 18.04 on first push: "couldn't write revision branch cache names";
2019-12-14, by wenzelm
more documentation;
2019-12-12, by wenzelm
more documentation;
2019-12-12, by wenzelm
proper support for multiple installations;
2019-12-12, by wenzelm
clarified "isabelle phabricator -l": avoid surprise with non-existent default installation;
2019-12-12, by wenzelm
tuned index.html;
2019-12-11, by wenzelm
more robust;
2019-12-11, by wenzelm
more robust;
2019-12-11, by wenzelm
clarified website: redirect to isabelle-dev Phabricator Overview;
2019-12-11, by wenzelm
more documentation;
2019-12-11, by wenzelm
tuned;
2019-12-11, by wenzelm
support database dump;
2019-12-11, by wenzelm
proper check of Linux version;
2019-12-10, by wenzelm
tuned;
2019-12-10, by wenzelm
proper mysql user setup: avoid superuser powers in production;
2019-12-10, by wenzelm
support for pwgen;
2019-12-10, by wenzelm
NEWS, CONTRIBUTORS, and documentation
2019-12-10, by traytel
an extensive example for lift_bnf across quotients
2019-12-10, by traytel
extension of lift_bnf to support quotient types
2019-12-10, by traytel
unfold intermediate (internal) pred definitions
2019-12-10, by traytel
corrected some confusing terminology / notation
2019-12-09, by paulson
Ramsey with multiple colours and arbitrary exponents
2019-12-09, by paulson
a few new and tidier proofs (mostly about finite sets)
2019-12-09, by paulson
clarified signature: store full theory name;
2019-12-09, by wenzelm
merged
2019-12-08, by nipkow
moved lemmas
2019-12-08, by nipkow
merged
2019-12-06, by wenzelm
suppress record types: not working properly;
2019-12-06, by wenzelm
removed junk;
2019-12-06, by wenzelm
discontinued somewhat pointless options;
2019-12-06, by wenzelm
tuned signature;
2019-12-06, by wenzelm
clarified signature;
2019-12-06, by wenzelm
export datatypes;
2019-12-06, by wenzelm
clarified modules;
2019-12-06, by wenzelm
misc tuning and clarification: proper check of datatype kind;
2019-12-06, by wenzelm
clarified modules;
2019-12-06, by wenzelm
cleaning
2019-12-06, by nipkow
tuned
2019-12-06, by nipkow
separated Affine theory from Convex
2019-12-05, by nipkow
merged
2019-12-05, by nipkow
tuned
2019-12-05, by nipkow
proper table data structure
2019-12-05, by haftmann
removed some vain declarations
2019-12-05, by haftmann
merged
2019-12-05, by nipkow
made Starlike independent of Abstract_Limits
2019-12-05, by nipkow
more direct accessors for simpset
2019-12-05, by haftmann
regular merge with no historization, in accordance with regular update
2019-12-04, by haftmann
moved starlike where it belongs
2019-12-04, by nipkow
merged
2019-12-04, by wenzelm
clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many small messages stacking up, e.g. when loading HOL-Analysis.Analysis.thy into Isabelle/jEdit;
2019-12-04, by wenzelm
moved segment lemmas where they belong
2019-12-04, by nipkow

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

isabelle