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

merged
2017-10-30, by wenzelm
recovered document from 9bfb6978eb80;
2017-10-30, by wenzelm
NEWS;
2017-10-30, by wenzelm
obsolete;
2017-10-30, by wenzelm
tuned;
2017-10-30, by wenzelm
ROOT cleanup: empty 'document_files' means there is no document;
2017-10-30, by wenzelm
eliminated pointless warning (see a35af478aee4): empty 'document_files' means there is no document;
2017-10-30, by wenzelm
more informative timeout message, notably for build_status;
2017-10-30, by wenzelm
clarified: adapted to ML version;
2017-10-30, by wenzelm
proper order of initialization (amending 9953ae603a23);
2017-10-30, by wenzelm
More topological results overlooked last time
2017-10-30, by paulson
merged
2017-10-30, by paulson
New results in topology, mostly from HOL Light's moretop.ml
2017-10-30, by paulson
generalized some lemmas on multisets
2017-10-30, by haftmann
rule out pathologic instances
2017-10-30, by haftmann
tuned some proofs and added some lemmas
2017-10-30, by haftmann
more recent polyml-test version;
2017-10-29, by wenzelm
reduced simp_depth_limit
2017-10-29, by nipkow
generalized
2017-10-28, by immler
reduced heap hierarchy, for potentially improved performance;
2017-10-28, by wenzelm
deactivated old tests;
2017-10-28, by wenzelm
avoid slow proofs due to simp rules from 960509bfd47e;
2017-10-28, by wenzelm
some concrete commands;
2017-10-27, by wenzelm
tuned signature;
2017-10-27, by wenzelm
more formal messages;
2017-10-27, by wenzelm
tuned signature;
2017-10-27, by wenzelm
separate JSON parser, which is slightly more general than (deprecated) scala.util.parsing.json.JSON;
2017-10-27, by wenzelm
more permissive;
2017-10-27, by wenzelm

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

isabelle