18 months ago haftmann 2017-10-20 added lemmas and tuned proofs
18 months ago paulson 2017-10-19 merged
18 months ago paulson 2017-10-19 Switching to inverse image and constant_on, plus some new material
18 months ago wenzelm 2017-10-19 proper integer option for Admin/build_history;
18 months ago wenzelm 2017-10-18 clarified output;
18 months ago wenzelm 2017-10-18 tuned output;
18 months ago wenzelm 2017-10-18 more thorough treatment of afp_version and afp_pull_date;
18 months ago wenzelm 2017-10-18 tuned options;
18 months ago wenzelm 2017-10-17 tuned output;
18 months ago wenzelm 2017-10-17 uniform execute, with proper isabelle_identifier (notably for "isabelle components -I");
18 months ago wenzelm 2017-10-17 tuned;
18 months ago wenzelm 2017-10-17 permissive theory_timings for historic versions;
18 months ago wenzelm 2017-10-16 store theory timings in session in build_log database; tuned;
18 months ago wenzelm 2017-10-16 provide theory timing information, similar to command timing but always considered relevant;
18 months ago wenzelm 2017-10-16 tuned;
18 months ago wenzelm 2017-10-16 init user settings on fresh test machine;
18 months ago nipkow 2017-10-16 added [simp]
18 months ago wenzelm 2017-10-15 proper value;
18 months ago wenzelm 2017-10-15 more AFP tests;
18 months ago wenzelm 2017-10-15 added ml_statistics_step to trim stored properties;
18 months ago wenzelm 2017-10-15 proper argument;
18 months ago wenzelm 2017-10-14 tuned (graph.all_succs already contains origin);
18 months ago wenzelm 2017-10-14 support for AFP versions; added AFP tests: non-slow, two partitions;
18 months ago wenzelm 2017-10-14 clarified afp_pull_date: both repository versions are relevant;
18 months ago wenzelm 2017-10-14 clarified stored build_args;
18 months ago wenzelm 2017-10-14 partition AFP sessions according to structure, which happens to cut it roughly into equal parts;
18 months ago wenzelm 2017-10-14 support for AFP in build_history and remote_build_history;
18 months ago wenzelm 2017-10-13 tuned whitespace;
18 months ago wenzelm 2017-10-13 support for AFP versions;
18 months ago wenzelm 2017-10-13 tuned signature;
18 months ago wenzelm 2017-10-13 tuned signature;
18 months ago wenzelm 2017-10-13 support for AFP versions;
18 months ago wenzelm 2017-10-13 tuned;
18 months ago nipkow 2017-10-13 added lemmas, tuned spaces
18 months ago wenzelm 2017-10-12 entries_graph requires acyclic graph, but lazy val allows forming the AFP object nonetheless;
18 months ago wenzelm 2017-10-12 more informative Imports.Report with actual session imports (minimized);
18 months ago wenzelm 2017-10-12 more robust: allow URLs;
18 months ago wenzelm 2017-10-12 more robust: allow Windows file names;
18 months ago wenzelm 2017-10-12 clarified signature;
18 months ago nipkow 2017-10-12 relaxed assm
18 months ago wenzelm 2017-10-11 back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);
18 months ago wenzelm 2017-10-11 reactivated unfinished tool (cf. a3a847c4fbdb);
18 months ago wenzelm 2017-10-11 tuned whitespace;
18 months ago wenzelm 2017-10-11 clarified meta_digest;
18 months ago wenzelm 2017-10-11 tuned;
18 months ago wenzelm 2017-10-11 added isablle build option -f;
18 months ago haftmann 2017-10-09 canonical multiplicative euclidean size
18 months ago haftmann 2017-10-09 clarified parity
18 months ago haftmann 2017-10-09 clarified uniqueness criterion for euclidean rings
18 months ago haftmann 2017-10-09 tuned proofs
18 months ago haftmann 2017-10-09 tuned imports
18 months ago paulson 2017-10-10 fixed markup
18 months ago wenzelm 2017-10-10 ignore isolated nodes by default;
18 months ago wenzelm 2017-10-10 merged
18 months ago wenzelm 2017-10-10 cycle check with informative error;
18 months ago wenzelm 2017-10-10 tuned: each session has at most one defining entry;
18 months ago wenzelm 2017-10-10 more operations;
18 months ago wenzelm 2017-10-10 tuned signature;
18 months ago wenzelm 2017-10-10 tuned signature;
18 months ago paulson 2017-10-10 Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems