Fri, 20 Oct 2017 23:29:43 +0200 wenzelm more ambitious test;
Fri, 20 Oct 2017 07:46:10 +0200 haftmann added lemmas and tuned proofs
Thu, 19 Oct 2017 17:16:13 +0100 paulson merged
Thu, 19 Oct 2017 17:16:01 +0100 paulson Switching to inverse image and constant_on, plus some new material
Thu, 19 Oct 2017 00:55:34 +0200 wenzelm proper integer option for Admin/build_history;
Wed, 18 Oct 2017 20:26:32 +0200 wenzelm clarified output;
Wed, 18 Oct 2017 20:14:57 +0200 wenzelm tuned output;
Wed, 18 Oct 2017 19:53:19 +0200 wenzelm more thorough treatment of afp_version and afp_pull_date;
Wed, 18 Oct 2017 11:53:01 +0200 wenzelm tuned options;
Tue, 17 Oct 2017 13:56:58 +0200 wenzelm tuned output;
Tue, 17 Oct 2017 13:51:43 +0200 wenzelm uniform execute, with proper isabelle_identifier (notably for "isabelle components -I");
Tue, 17 Oct 2017 11:51:39 +0200 wenzelm tuned;
Tue, 17 Oct 2017 11:29:14 +0200 wenzelm permissive theory_timings for historic versions;
Mon, 16 Oct 2017 19:59:18 +0200 wenzelm store theory timings in session in build_log database;
Mon, 16 Oct 2017 14:32:09 +0200 wenzelm provide theory timing information, similar to command timing but always considered relevant;
Mon, 16 Oct 2017 14:21:14 +0200 wenzelm tuned;
Mon, 16 Oct 2017 11:37:14 +0200 wenzelm init user settings on fresh test machine;
Mon, 16 Oct 2017 08:00:28 +0200 nipkow added [simp]
Sun, 15 Oct 2017 21:30:21 +0200 wenzelm proper value;
Sun, 15 Oct 2017 20:34:24 +0200 wenzelm more AFP tests;
Sun, 15 Oct 2017 20:31:52 +0200 wenzelm added ml_statistics_step to trim stored properties;
Sun, 15 Oct 2017 18:39:20 +0200 wenzelm proper argument;
Sat, 14 Oct 2017 22:05:22 +0200 wenzelm tuned (graph.all_succs already contains origin);
Sat, 14 Oct 2017 21:50:12 +0200 wenzelm support for AFP versions;
Sat, 14 Oct 2017 20:58:52 +0200 wenzelm clarified afp_pull_date: both repository versions are relevant;
Sat, 14 Oct 2017 17:33:05 +0200 wenzelm clarified stored build_args;
Sat, 14 Oct 2017 16:59:45 +0200 wenzelm partition AFP sessions according to structure, which happens to cut it roughly into equal parts;
Sat, 14 Oct 2017 15:44:21 +0200 wenzelm support for AFP in build_history and remote_build_history;
Fri, 13 Oct 2017 22:56:20 +0200 wenzelm tuned whitespace;
Fri, 13 Oct 2017 21:53:22 +0200 wenzelm support for AFP versions;
Fri, 13 Oct 2017 21:20:31 +0200 wenzelm tuned signature;
Fri, 13 Oct 2017 21:15:04 +0200 wenzelm tuned signature;
Fri, 13 Oct 2017 21:09:35 +0200 wenzelm support for AFP versions;
Fri, 13 Oct 2017 13:31:56 +0200 wenzelm tuned;
Fri, 13 Oct 2017 09:01:27 +0200 nipkow added lemmas, tuned spaces
Thu, 12 Oct 2017 21:22:02 +0200 wenzelm entries_graph requires acyclic graph, but lazy val allows forming the AFP object nonetheless;
Thu, 12 Oct 2017 15:58:18 +0200 wenzelm more informative Imports.Report with actual session imports (minimized);
Thu, 12 Oct 2017 11:39:54 +0200 wenzelm more robust: allow URLs;
Thu, 12 Oct 2017 11:39:06 +0200 wenzelm more robust: allow Windows file names;
Thu, 12 Oct 2017 11:25:06 +0200 wenzelm clarified signature;
Thu, 12 Oct 2017 05:37:58 +0200 nipkow relaxed assm
Wed, 11 Oct 2017 21:41:11 +0200 wenzelm back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);
Wed, 11 Oct 2017 21:36:53 +0200 wenzelm reactivated unfinished tool (cf. a3a847c4fbdb);
Wed, 11 Oct 2017 20:57:12 +0200 wenzelm tuned whitespace;
Wed, 11 Oct 2017 20:55:11 +0200 wenzelm clarified meta_digest;
Wed, 11 Oct 2017 20:46:38 +0200 wenzelm tuned;
Wed, 11 Oct 2017 20:16:00 +0200 wenzelm added isablle build option -f;
Mon, 09 Oct 2017 19:10:52 +0200 haftmann canonical multiplicative euclidean size
Mon, 09 Oct 2017 19:10:51 +0200 haftmann clarified parity
Mon, 09 Oct 2017 19:10:49 +0200 haftmann clarified uniqueness criterion for euclidean rings
Mon, 09 Oct 2017 19:10:48 +0200 haftmann tuned proofs
Mon, 09 Oct 2017 19:10:47 +0200 haftmann tuned imports
Tue, 10 Oct 2017 22:18:58 +0100 paulson fixed markup
Tue, 10 Oct 2017 20:33:29 +0200 wenzelm ignore isolated nodes by default;
Tue, 10 Oct 2017 19:51:54 +0200 wenzelm merged
Tue, 10 Oct 2017 19:48:29 +0200 wenzelm cycle check with informative error;
Tue, 10 Oct 2017 19:23:03 +0200 wenzelm tuned: each session has at most one defining entry;
Tue, 10 Oct 2017 13:46:12 +0200 wenzelm more operations;
Tue, 10 Oct 2017 11:24:35 +0200 wenzelm tuned signature;
Tue, 10 Oct 2017 11:20:02 +0200 wenzelm tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip