12 months ago wenzelm 2018-06-11 clarified signature: persistent results;
12 months ago wenzelm 2018-06-11 tuned signature;
12 months ago nipkow 2018-06-11 tuned def. of del and proved preservation of rbt (finally)
12 months ago nipkow 2018-06-11 merged
12 months ago nipkow 2018-06-11 tuned order of arguments
12 months ago immler 2018-06-11 default value for parametricity of dim
12 months ago nipkow 2018-06-11 added lemma
12 months ago wenzelm 2018-06-09 clarified signature: more uniform theory_message (see also d7920eb7de54);
12 months ago wenzelm 2018-06-09 tuned -- use existing operation;
12 months ago wenzelm 2018-06-07 merged
12 months ago wenzelm 2018-06-07 isabelle emacs no longer exists;
12 months ago nipkow 2018-06-07 utilize 'flip'
12 months ago nipkow 2018-06-07 comments
12 months ago nipkow 2018-06-06 merged
12 months ago nipkow 2018-06-06 reorient -> split; documented split
12 months ago wenzelm 2018-06-06 merged
12 months ago wenzelm 2018-06-06 Added tag Isabelle2018-RC0 for changeset 194fa3d2d6a4
12 months ago paulson 2018-06-06 merged
12 months ago paulson 2018-06-06 resolution of name clashes in Algebra
12 months ago wenzelm 2018-06-06 merged
12 months ago wenzelm 2018-06-06 isabelle update_comments;
12 months ago wenzelm 2018-06-06 tuned header;
12 months ago wenzelm 2018-06-06 updated for release;
12 months ago wenzelm 2018-06-06 updated for release;
12 months ago wenzelm 2018-06-06 misc tuning and updates for release;
12 months ago wenzelm 2018-06-06 updated for release;
12 months ago wenzelm 2018-06-06 updated for release; tuned;
12 months ago wenzelm 2018-06-06 eliminated suspicious Unicode;
12 months ago wenzelm 2018-06-06 proper white space;
12 months ago wenzelm 2018-06-06 updated to sqlite-jdbc-3.23.1;
12 months ago nipkow 2018-06-06 merged
12 months ago nipkow 2018-06-06 Keep filter input syntax
12 months ago wenzelm 2018-06-05 more parallelism to cope with 8h30 CPU time;
12 months ago wenzelm 2018-06-05 full benchmarks, including all conditional theories;
12 months ago wenzelm 2018-06-05 tuned proofs;
12 months ago wenzelm 2018-06-05 more robust;
12 months ago wenzelm 2018-06-05 less wasteful consolidation, based on PIDE front-end state and recent changes;
12 months ago wenzelm 2018-06-05 tuned -- short-circuit result;
12 months ago wenzelm 2018-06-05 tuned;
12 months ago wenzelm 2018-06-05 updated URLs;
12 months ago wenzelm 2018-06-04 merged
12 months ago wenzelm 2018-06-04 more robust;
12 months ago wenzelm 2018-06-04 avoid hardwired cygwin mirror;
12 months ago wenzelm 2018-06-04 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; record cygwin mirror explicitly;
12 months ago paulson 2018-06-04 NEWS: infinite products
12 months ago paulson 2018-06-04 merged
12 months ago paulson 2018-06-04 more tweaks of Cauchy
12 months ago wenzelm 2018-06-04 clarified signature; simplified options;
12 months ago wenzelm 2018-06-03 tuned proofs;
12 months ago wenzelm 2018-06-03 NEWS;
12 months ago wenzelm 2018-06-03 proper function invocation with all arguments;
12 months ago wenzelm 2018-06-03 fork parallel prints early in execution: avoid degradation of priority due to main eval task;
12 months ago wenzelm 2018-06-03 clarified signature: prefer Document.Snapshot;
12 months ago nipkow 2018-06-03 list syntax details
12 months ago nipkow 2018-06-03 merged
12 months ago nipkow 2018-06-03 allow tuple patterns in list comprehensions
12 months ago paulson 2018-06-03 infinite product material
12 months ago paulson 2018-06-02 merged
12 months ago paulson 2018-06-02 tidied more Cauchy proofs
12 months ago wenzelm 2018-06-02 tuned proofs;