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