Wed, 19 Oct 2016 14:42:28 +0200 wenzelm added system option "profiling";
Tue, 18 Oct 2016 17:41:56 +0200 wenzelm replaced inefficient valid_accesses by is_valid_access, based on stored input accesses: e.g. relevant for Proof_Context.update_thms;
Tue, 18 Oct 2016 16:11:13 +0200 wenzelm tuned signature, in accordance to Isabelle_System;
Tue, 18 Oct 2016 16:08:55 +0200 wenzelm tuned;
Tue, 18 Oct 2016 16:03:30 +0200 wenzelm clarified modules;
Tue, 18 Oct 2016 15:31:08 +0200 wenzelm another attempt to squeeze a list into a property list entry;
Tue, 18 Oct 2016 15:18:58 +0200 wenzelm report actual build_args;
Tue, 18 Oct 2016 15:09:52 +0200 wenzelm more flexible multicore configuration;
Tue, 18 Oct 2016 14:32:51 +0200 wenzelm clarified multiple props: result needs to fit on a single line within the log file;
Tue, 18 Oct 2016 13:56:49 +0200 wenzelm clarified properties;
Tue, 18 Oct 2016 13:44:54 +0200 wenzelm tuned;
Tue, 18 Oct 2016 11:50:38 +0200 wenzelm support for free-form build tags;
Tue, 18 Oct 2016 11:24:14 +0200 wenzelm explicit identification of builds and correlated build groups;
Tue, 18 Oct 2016 10:11:22 +0200 wenzelm avoid spamming log file;
Tue, 18 Oct 2016 10:05:38 +0200 wenzelm shared_home is default for classic isatest home setup;
Tue, 18 Oct 2016 23:47:33 +0200 hoelzl add missing file Essential_Supremum.thy
Tue, 18 Oct 2016 19:28:39 +0100 paulson Merge
Tue, 18 Oct 2016 19:12:40 +0100 paulson Inserted necessary dependency
Tue, 18 Oct 2016 18:48:53 +0200 haftmann suitable logical type class for abs, sgn
Tue, 18 Oct 2016 17:29:28 +0200 hoelzl HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp
Tue, 18 Oct 2016 16:05:24 +0100 paulson Merge
Tue, 18 Oct 2016 15:55:53 +0100 paulson more from moretop.ml
Tue, 18 Oct 2016 16:48:41 +0200 Lars Hupel Jenkins: build in system mode again
Tue, 18 Oct 2016 15:57:34 +0200 Lars Hupel Jenkins: configurable clean build
Tue, 18 Oct 2016 12:01:54 +0200 hoelzl HOL-Analysis: more theorems from S√©bastien Gou√ęzel's Ergodic_Theory
Thu, 13 Oct 2016 18:36:06 +0200 hoelzl HOL-Probability: move conditional expectation from AFP/Ergodic_Theory
Mon, 17 Oct 2016 15:20:06 +0200 eberlm Removed Old_Number_Theory; all theories ported (thanks to Jaime Mendizabal Roche)
Tue, 18 Oct 2016 07:04:08 +0200 haftmann restored document structure after theory refactoring
Mon, 17 Oct 2016 19:55:56 +0200 wenzelm NEWS;
Mon, 17 Oct 2016 19:03:13 +0200 wenzelm merged
Mon, 17 Oct 2016 18:41:46 +0200 wenzelm merged
Mon, 17 Oct 2016 17:58:30 +0200 wenzelm improved platform coverage: macbroy30, macbroy31;
Mon, 17 Oct 2016 16:58:39 +0200 wenzelm eliminated unused argument;
Mon, 17 Oct 2016 15:46:51 +0200 wenzelm accomodate Poly/ML repository version, which treats singleton strings as boxed;
Mon, 17 Oct 2016 15:00:46 +0200 wenzelm re-use "threads" for --gcthreads;
Mon, 17 Oct 2016 18:53:45 +0200 nipkow merged
Mon, 17 Oct 2016 17:33:07 +0200 nipkow setprod -> prod
Mon, 17 Oct 2016 17:26:54 +0200 wimmers merged
Mon, 17 Oct 2016 15:23:06 +0200 Simon Wimmer Modified transfer principle in HOL/NSA to cause less ho-unficiation
Mon, 17 Oct 2016 14:37:32 +0200 nipkow merged
Mon, 17 Oct 2016 13:20:38 +0200 nipkow updated to setsum -> sum
Mon, 17 Oct 2016 11:46:22 +0200 nipkow setsum -> sum
Mon, 17 Oct 2016 11:07:01 +0200 wenzelm uniform Isabelle settings -- avoid picking up different JAVA_HOME;
Sun, 16 Oct 2016 22:43:51 +0200 wenzelm isabelle build -N;
Sun, 16 Oct 2016 20:19:10 +0200 wenzelm support for Non-Uniform Memory Access of separate CPU nodes;
Sun, 16 Oct 2016 20:08:23 +0200 wenzelm proper result;
Sun, 16 Oct 2016 19:18:54 +0200 wenzelm merged
Sun, 16 Oct 2016 18:22:19 +0200 wenzelm merged
Sun, 16 Oct 2016 18:16:49 +0200 wenzelm more thorough cleanup;
Sun, 16 Oct 2016 18:13:04 +0200 wenzelm tuned;
Sun, 16 Oct 2016 17:52:25 +0200 wenzelm removed useless operation -- would require bash_process wrapper;
Sun, 16 Oct 2016 17:50:40 +0200 wenzelm tuned signature;
Sun, 16 Oct 2016 17:44:37 +0200 wenzelm simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
Sun, 16 Oct 2016 17:10:24 +0200 wenzelm more robust;
Sun, 16 Oct 2016 16:58:09 +0200 wenzelm sftp.mkdirs according to 2a5dbad75355;
Sun, 16 Oct 2016 16:57:48 +0200 wenzelm more compression for big log files;
Sun, 16 Oct 2016 13:27:01 +0200 wenzelm clarified setup_repository: more uniform pull vs. clone, without update;
Sun, 16 Oct 2016 13:11:47 +0200 wenzelm proper setup of fresh repository;
Sun, 16 Oct 2016 13:47:37 +0200 haftmann clarified prover-specific rules
Sun, 16 Oct 2016 13:47:36 +0200 haftmann dropped potentially explosive rule for groebner simpset, with no observable effect on examples
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip