wenzelm [Sun, 23 Oct 2016 12:35:48 +0200] rev 64357
tuned signature: avoid conflict with "paragraph" as section heading;
wenzelm [Sun, 23 Oct 2016 12:34:39 +0200] rev 64356
tuned;
wenzelm [Sun, 23 Oct 2016 12:30:57 +0200] rev 64355
support for XML as HTML;
tuned;
wenzelm [Sun, 23 Oct 2016 12:27:11 +0200] rev 64354
tuned;
wenzelm [Sun, 23 Oct 2016 12:21:17 +0200] rev 64353
more explicit rev (tip);
wenzelm [Sun, 23 Oct 2016 11:38:43 +0200] rev 64352
just one output file;
wenzelm [Sat, 22 Oct 2016 21:21:14 +0200] rev 64351
more tasks;
clarified default args;
wenzelm [Sat, 22 Oct 2016 21:10:02 +0200] rev 64350
remote_builds has PAR-SEQ semantics of old isatest-makedist;
tuned signature;
wenzelm [Sat, 22 Oct 2016 20:09:30 +0200] rev 64349
expose results on failure (via mail);
wenzelm [Sat, 22 Oct 2016 19:57:56 +0200] rev 64348
clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);
wenzelm [Sat, 22 Oct 2016 19:14:38 +0200] rev 64347
support for URL notation;
wenzelm [Sat, 22 Oct 2016 17:27:27 +0200] rev 64346
process results immediately;
wenzelm [Sat, 22 Oct 2016 16:39:27 +0200] rev 64345
permissive rename operation (amending b265dd04d57d);
wenzelm [Sat, 22 Oct 2016 13:41:18 +0200] rev 64344
pro-forma update to cygwin_2016-1 (web service still missing);
wenzelm [Sat, 22 Oct 2016 13:11:37 +0200] rev 64343
updated to current Cygwin, after 2.6.0-1 from 31-Aug-2016;
wenzelm [Sat, 22 Oct 2016 12:34:58 +0200] rev 64342
regular user tool;
wenzelm [Sat, 22 Oct 2016 12:34:17 +0200] rev 64341
avoid deprecated Scala;
wenzelm [Fri, 21 Oct 2016 21:03:17 +0200] rev 64340
minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
wenzelm [Fri, 21 Oct 2016 20:58:51 +0200] rev 64339
misc tuning and updates;
wenzelm [Fri, 21 Oct 2016 20:49:40 +0200] rev 64338
clarified default args;
more ambitious tests;
wenzelm [Fri, 21 Oct 2016 18:18:26 +0200] rev 64337
speculative support for latest Mac OS X versions -- no reference systems yet;
wenzelm [Fri, 21 Oct 2016 17:24:57 +0200] rev 64336
merged
wenzelm [Fri, 21 Oct 2016 17:24:43 +0200] rev 64335
more ambitious default;
wenzelm [Fri, 21 Oct 2016 16:46:02 +0200] rev 64334
updated to new structure Foreign;
more robust memory management;
hoelzl [Fri, 21 Oct 2016 11:02:36 +0200] rev 64333
HOL-Probability: Essential Supremum as Limsup over ae_filter
wenzelm [Fri, 21 Oct 2016 11:45:35 +0200] rev 64332
less ambitious test;
wenzelm [Fri, 21 Oct 2016 11:19:15 +0200] rev 64331
proper type for Poly/ML development version;
wenzelm [Fri, 21 Oct 2016 11:00:16 +0200] rev 64330
more operations;
haftmann [Thu, 20 Oct 2016 20:03:32 +0200] rev 64329
more on sgn in linear ordered fields
wenzelm [Thu, 20 Oct 2016 23:42:41 +0200] rev 64328
merged
wenzelm [Thu, 20 Oct 2016 23:42:12 +0200] rev 64327
test for Windows/Cygwin;
wenzelm [Thu, 20 Oct 2016 23:39:15 +0200] rev 64326
extra trim_line for the sake of Windows;
wenzelm [Thu, 20 Oct 2016 23:05:13 +0200] rev 64325
prevent sporadic disconnection;
wenzelm [Thu, 20 Oct 2016 16:29:02 +0200] rev 64324
check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala;
nipkow [Thu, 20 Oct 2016 19:39:27 +0200] rev 64323
tuned
nipkow [Tue, 18 Oct 2016 16:04:44 +0200] rev 64322
NEWS
hoelzl [Thu, 20 Oct 2016 18:42:01 +0200] rev 64321
HOL-Probability: generalize theorems about cumulative distribution function
hoelzl [Thu, 20 Oct 2016 18:41:59 +0200] rev 64320
HOL-Probability: move stopping time from AFP/Markov_Models
hoelzl [Thu, 20 Oct 2016 18:41:58 +0200] rev 64319
HOL-Probability: generalize type of essential supremum
eberlm <eberlm@in.tum.de> [Thu, 20 Oct 2016 17:28:09 +0200] rev 64318
Repaired LaTeX in HOL-Data_Structures
eberlm <eberlm@in.tum.de> [Thu, 20 Oct 2016 13:53:36 +0200] rev 64317
More on Fibonacci numbers
wenzelm [Thu, 20 Oct 2016 11:05:16 +0200] rev 64316
build HTML library in Isabelle/Scala;
wenzelm [Thu, 20 Oct 2016 11:04:38 +0200] rev 64315
proper echo;
tuned;
wenzelm [Thu, 20 Oct 2016 10:30:11 +0200] rev 64314
more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;
wenzelm [Wed, 19 Oct 2016 18:14:42 +0200] rev 64313
updated to jdk-8u112;
wenzelm [Wed, 19 Oct 2016 17:39:04 +0200] rev 64312
basic SSH server configuration;
wenzelm [Wed, 19 Oct 2016 17:03:44 +0200] rev 64311
proper isabelle tool in Scala;
wenzelm [Wed, 19 Oct 2016 16:30:24 +0200] rev 64310
tuned;
wenzelm [Wed, 19 Oct 2016 14:43:11 +0200] rev 64309
merged
wenzelm [Wed, 19 Oct 2016 14:42:28 +0200] rev 64308
added system option "profiling";
wenzelm [Tue, 18 Oct 2016 17:41:56 +0200] rev 64307
replaced inefficient valid_accesses by is_valid_access, based on stored input accesses: e.g. relevant for Proof_Context.update_thms;
wenzelm [Tue, 18 Oct 2016 16:11:13 +0200] rev 64306
tuned signature, in accordance to Isabelle_System;
wenzelm [Tue, 18 Oct 2016 16:08:55 +0200] rev 64305
tuned;
wenzelm [Tue, 18 Oct 2016 16:03:30 +0200] rev 64304
clarified modules;
wenzelm [Tue, 18 Oct 2016 15:31:08 +0200] rev 64303
another attempt to squeeze a list into a property list entry;
wenzelm [Tue, 18 Oct 2016 15:18:58 +0200] rev 64302
report actual build_args;
wenzelm [Tue, 18 Oct 2016 15:09:52 +0200] rev 64301
more flexible multicore configuration;
wenzelm [Tue, 18 Oct 2016 14:32:51 +0200] rev 64300
clarified multiple props: result needs to fit on a single line within the log file;
wenzelm [Tue, 18 Oct 2016 13:56:49 +0200] rev 64299
clarified properties;
wenzelm [Tue, 18 Oct 2016 13:44:54 +0200] rev 64298
tuned;
wenzelm [Tue, 18 Oct 2016 11:50:38 +0200] rev 64297
support for free-form build tags;
tuned;
wenzelm [Tue, 18 Oct 2016 11:24:14 +0200] rev 64296
explicit identification of builds and correlated build groups;
wenzelm [Tue, 18 Oct 2016 10:11:22 +0200] rev 64295
avoid spamming log file;
wenzelm [Tue, 18 Oct 2016 10:05:38 +0200] rev 64294
shared_home is default for classic isatest home setup;
distinct ISABELLE_IDENTIFIER for all tasks;
hoelzl [Tue, 18 Oct 2016 23:47:33 +0200] rev 64293
add missing file Essential_Supremum.thy
paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2016 19:28:39 +0100] rev 64292
Merge
paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2016 19:12:40 +0100] rev 64291
Inserted necessary dependency
haftmann [Tue, 18 Oct 2016 18:48:53 +0200] rev 64290
suitable logical type class for abs, sgn
hoelzl [Tue, 18 Oct 2016 17:29:28 +0200] rev 64289
HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp
paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2016 16:05:24 +0100] rev 64288
Merge
paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2016 15:55:53 +0100] rev 64287
more from moretop.ml
Lars Hupel <lars.hupel@mytum.de> [Tue, 18 Oct 2016 16:48:41 +0200] rev 64286
Jenkins: build in system mode again
(backout of 3dbfd6758735)
Lars Hupel <lars.hupel@mytum.de> [Tue, 18 Oct 2016 15:57:34 +0200] rev 64285
Jenkins: configurable clean build
hoelzl [Tue, 18 Oct 2016 12:01:54 +0200] rev 64284
HOL-Analysis: more theorems from Sébastien Gouëzel's Ergodic_Theory
hoelzl [Thu, 13 Oct 2016 18:36:06 +0200] rev 64283
HOL-Probability: move conditional expectation from AFP/Ergodic_Theory
eberlm <eberlm@in.tum.de> [Mon, 17 Oct 2016 15:20:06 +0200] rev 64282
Removed Old_Number_Theory; all theories ported (thanks to Jaime Mendizabal Roche)
haftmann [Tue, 18 Oct 2016 07:04:08 +0200] rev 64281
restored document structure after theory refactoring
wenzelm [Mon, 17 Oct 2016 19:55:56 +0200] rev 64280
NEWS;
tuned comment;
wenzelm [Mon, 17 Oct 2016 19:03:13 +0200] rev 64279
merged
wenzelm [Mon, 17 Oct 2016 18:41:46 +0200] rev 64278
merged
wenzelm [Mon, 17 Oct 2016 17:58:30 +0200] rev 64277
improved platform coverage: macbroy30, macbroy31;
slightly improved performance on lxbroy10;
wenzelm [Mon, 17 Oct 2016 16:58:39 +0200] rev 64276
eliminated unused argument;
wenzelm [Mon, 17 Oct 2016 15:46:51 +0200] rev 64275
accomodate Poly/ML repository version, which treats singleton strings as boxed;
wenzelm [Mon, 17 Oct 2016 15:00:46 +0200] rev 64274
re-use "threads" for --gcthreads;
nipkow [Mon, 17 Oct 2016 18:53:45 +0200] rev 64273
merged
nipkow [Mon, 17 Oct 2016 17:33:07 +0200] rev 64272
setprod -> prod
wimmers [Mon, 17 Oct 2016 17:26:54 +0200] rev 64271
merged
Simon Wimmer <wimmers@in.tum.de> [Mon, 17 Oct 2016 15:23:06 +0200] rev 64270
Modified transfer principle in HOL/NSA to cause less ho-unficiation
nipkow [Mon, 17 Oct 2016 14:37:32 +0200] rev 64269
merged
nipkow [Mon, 17 Oct 2016 13:20:38 +0200] rev 64268
updated to setsum -> sum
nipkow [Mon, 17 Oct 2016 11:46:22 +0200] rev 64267
setsum -> sum
wenzelm [Mon, 17 Oct 2016 11:07:01 +0200] rev 64266
uniform Isabelle settings -- avoid picking up different JAVA_HOME;
wenzelm [Sun, 16 Oct 2016 22:43:51 +0200] rev 64265
isabelle build -N;
wenzelm [Sun, 16 Oct 2016 20:19:10 +0200] rev 64264
support for Non-Uniform Memory Access of separate CPU nodes;
wenzelm [Sun, 16 Oct 2016 20:08:23 +0200] rev 64263
proper result;
wenzelm [Sun, 16 Oct 2016 19:18:54 +0200] rev 64262
merged