Fri, 21 Oct 2016 11:00:16 +0200 wenzelm more operations;
Thu, 20 Oct 2016 20:03:32 +0200 haftmann more on sgn in linear ordered fields
Thu, 20 Oct 2016 23:42:41 +0200 wenzelm merged
Thu, 20 Oct 2016 23:42:12 +0200 wenzelm test for Windows/Cygwin;
Thu, 20 Oct 2016 23:39:15 +0200 wenzelm extra trim_line for the sake of Windows;
Thu, 20 Oct 2016 23:05:13 +0200 wenzelm prevent sporadic disconnection;
Thu, 20 Oct 2016 16:29:02 +0200 wenzelm check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala;
Thu, 20 Oct 2016 19:39:27 +0200 nipkow tuned
Tue, 18 Oct 2016 16:04:44 +0200 nipkow NEWS
Thu, 20 Oct 2016 18:42:01 +0200 hoelzl HOL-Probability: generalize theorems about cumulative distribution function
Thu, 20 Oct 2016 18:41:59 +0200 hoelzl HOL-Probability: move stopping time from AFP/Markov_Models
Thu, 20 Oct 2016 18:41:58 +0200 hoelzl HOL-Probability: generalize type of essential supremum
Thu, 20 Oct 2016 17:28:09 +0200 eberlm Repaired LaTeX in HOL-Data_Structures
Thu, 20 Oct 2016 13:53:36 +0200 eberlm More on Fibonacci numbers
Thu, 20 Oct 2016 11:05:16 +0200 wenzelm build HTML library in Isabelle/Scala;
Thu, 20 Oct 2016 11:04:38 +0200 wenzelm proper echo;
Thu, 20 Oct 2016 10:30:11 +0200 wenzelm more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;
Wed, 19 Oct 2016 18:14:42 +0200 wenzelm updated to jdk-8u112;
Wed, 19 Oct 2016 17:39:04 +0200 wenzelm basic SSH server configuration;
Wed, 19 Oct 2016 17:03:44 +0200 wenzelm proper isabelle tool in Scala;
Wed, 19 Oct 2016 16:30:24 +0200 wenzelm tuned;
Wed, 19 Oct 2016 14:43:11 +0200 wenzelm merged
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
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip