20 months ago wenzelm 2017-10-16 provide theory timing information, similar to command timing but always considered relevant;
20 months ago wenzelm 2017-10-16 tuned;
20 months ago wenzelm 2017-10-16 init user settings on fresh test machine;
20 months ago nipkow 2017-10-16 added [simp]
20 months ago wenzelm 2017-10-15 proper value;
20 months ago wenzelm 2017-10-15 more AFP tests;
20 months ago wenzelm 2017-10-15 added ml_statistics_step to trim stored properties;
20 months ago wenzelm 2017-10-15 proper argument;
20 months ago wenzelm 2017-10-14 tuned (graph.all_succs already contains origin);
20 months ago wenzelm 2017-10-14 support for AFP versions; added AFP tests: non-slow, two partitions;
20 months ago wenzelm 2017-10-14 clarified afp_pull_date: both repository versions are relevant;
20 months ago wenzelm 2017-10-14 clarified stored build_args;
20 months ago wenzelm 2017-10-14 partition AFP sessions according to structure, which happens to cut it roughly into equal parts;
20 months ago wenzelm 2017-10-14 support for AFP in build_history and remote_build_history;
20 months ago wenzelm 2017-10-13 tuned whitespace;
20 months ago wenzelm 2017-10-13 support for AFP versions;
20 months ago wenzelm 2017-10-13 tuned signature;
20 months ago wenzelm 2017-10-13 tuned signature;
20 months ago wenzelm 2017-10-13 support for AFP versions;
20 months ago wenzelm 2017-10-13 tuned;
20 months ago nipkow 2017-10-13 added lemmas, tuned spaces
20 months ago wenzelm 2017-10-12 entries_graph requires acyclic graph, but lazy val allows forming the AFP object nonetheless;
20 months ago wenzelm 2017-10-12 more informative Imports.Report with actual session imports (minimized);
20 months ago wenzelm 2017-10-12 more robust: allow URLs;
20 months ago wenzelm 2017-10-12 more robust: allow Windows file names;
20 months ago wenzelm 2017-10-12 clarified signature;
20 months ago nipkow 2017-10-12 relaxed assm
20 months ago wenzelm 2017-10-11 back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);
20 months ago wenzelm 2017-10-11 reactivated unfinished tool (cf. a3a847c4fbdb);
20 months ago wenzelm 2017-10-11 tuned whitespace;
20 months ago wenzelm 2017-10-11 clarified meta_digest;
20 months ago wenzelm 2017-10-11 tuned;
20 months ago wenzelm 2017-10-11 added isablle build option -f;
20 months ago haftmann 2017-10-09 canonical multiplicative euclidean size
20 months ago haftmann 2017-10-09 clarified parity
20 months ago haftmann 2017-10-09 clarified uniqueness criterion for euclidean rings
20 months ago haftmann 2017-10-09 tuned proofs
20 months ago haftmann 2017-10-09 tuned imports
20 months ago paulson 2017-10-10 fixed markup
20 months ago wenzelm 2017-10-10 ignore isolated nodes by default;
20 months ago wenzelm 2017-10-10 merged
20 months ago wenzelm 2017-10-10 cycle check with informative error;
20 months ago wenzelm 2017-10-10 tuned: each session has at most one defining entry;
20 months ago wenzelm 2017-10-10 more operations;
20 months ago wenzelm 2017-10-10 tuned signature;
20 months ago wenzelm 2017-10-10 tuned signature;
20 months ago paulson 2017-10-10 Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems
20 months ago paulson 2017-10-10 Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.
20 months ago wenzelm 2017-10-09 merged
20 months ago wenzelm 2017-10-09 tuned: less oo-non-sense;
20 months ago wenzelm 2017-10-09 operations for graph display;
20 months ago wenzelm 2017-10-09 tuned signature;
20 months ago wenzelm 2017-10-09 dependencies of entries vs. sessions; json output like "isabelle afp_dependencies"; misc tuning;
20 months ago wenzelm 2017-10-09 some administrative support for AFP;
20 months ago wenzelm 2017-10-09 tuned;
20 months ago wenzelm 2017-10-09 clarified signature: public access to ROOT file syntax;
20 months ago haftmann 2017-10-08 euclidean rings need no normalization
20 months ago haftmann 2017-10-08 more fundamental definition of div and mod on int
20 months ago haftmann 2017-10-08 one uniform type class for parity structures
20 months ago haftmann 2017-10-08 generalized some rules