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

imported new material mostly due to Sébastien Gouëzel
2019-09-18, by paulson
A couple of new theorems, stolen from AFP entries
2019-09-17, by paulson
A few new theorems, tidying up and deletion of obsolete material
2019-09-17, by paulson
merged
2019-09-16, by wenzelm
more errors;
2019-09-16, by wenzelm
clarified inversion of file name to theory name, notably for Windows;
2019-09-16, by wenzelm
clarified import_name: observe directory notation more strictly;
2019-09-16, by wenzelm
tuned signature;
2019-09-16, by wenzelm
clarified signature -- removed pointless operations;
2019-09-16, by wenzelm
clarified signature -- removed unused content;
2019-09-16, by wenzelm
clarified theory imports completion, based on session directories and current master directory (no support for local session-subdirectories);
2019-09-16, by wenzelm
find theories via session directories only -- ignore known_theories;
2019-09-16, by wenzelm
tuned;
2019-09-16, by wenzelm
tuned message;
2019-09-16, by wenzelm
merged
2019-09-16, by nipkow
tuned
2019-09-16, by nipkow
A little-known material, and some tidying up
2019-09-16, by paulson
merged
2019-09-15, by wenzelm
tuned;
2019-09-15, by wenzelm
clarified theory status;
2019-09-15, by wenzelm
dump ZF in parallel to HOL Main;
2019-09-15, by wenzelm
tuned messages;
2019-09-15, by wenzelm
more ambitious options (again);
2019-09-15, by wenzelm
more ambitious options (again, after 93aa546ffbac);
2019-09-15, by wenzelm
tuned signature;
2019-09-15, by wenzelm
proper clean_theories wrt. dynamic dep_graph;
2019-09-15, by wenzelm
tuned signature;
2019-09-15, by wenzelm
potentially more robust: read under lock if not yet set;
2019-09-14, by wenzelm

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

isabelle