14 months ago paulson 2018-06-06 resolution of name clashes in Algebra
14 months ago wenzelm 2018-06-06 merged
14 months ago wenzelm 2018-06-06 isabelle update_comments;
14 months ago wenzelm 2018-06-06 tuned header;
14 months ago wenzelm 2018-06-06 updated for release;
14 months ago wenzelm 2018-06-06 updated for release;
14 months ago wenzelm 2018-06-06 misc tuning and updates for release;
14 months ago wenzelm 2018-06-06 updated for release;
14 months ago wenzelm 2018-06-06 updated for release; tuned;
14 months ago wenzelm 2018-06-06 eliminated suspicious Unicode;
14 months ago wenzelm 2018-06-06 proper white space;
14 months ago wenzelm 2018-06-06 updated to sqlite-jdbc-3.23.1;
14 months ago nipkow 2018-06-06 merged
14 months ago nipkow 2018-06-06 Keep filter input syntax
14 months ago wenzelm 2018-06-05 more parallelism to cope with 8h30 CPU time;
14 months ago wenzelm 2018-06-05 full benchmarks, including all conditional theories;
14 months ago wenzelm 2018-06-05 tuned proofs;
14 months ago wenzelm 2018-06-05 more robust;
14 months ago wenzelm 2018-06-05 less wasteful consolidation, based on PIDE front-end state and recent changes;
14 months ago wenzelm 2018-06-05 tuned -- short-circuit result;
14 months ago wenzelm 2018-06-05 tuned;
14 months ago wenzelm 2018-06-05 updated URLs;
14 months ago wenzelm 2018-06-04 merged
14 months ago wenzelm 2018-06-04 more robust;
14 months ago wenzelm 2018-06-04 avoid hardwired cygwin mirror;
14 months ago wenzelm 2018-06-04 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; record cygwin mirror explicitly;
14 months ago paulson 2018-06-04 NEWS: infinite products
14 months ago paulson 2018-06-04 merged
14 months ago paulson 2018-06-04 more tweaks of Cauchy
14 months ago wenzelm 2018-06-04 clarified signature; simplified options;
14 months ago wenzelm 2018-06-03 tuned proofs;
14 months ago wenzelm 2018-06-03 NEWS;
14 months ago wenzelm 2018-06-03 proper function invocation with all arguments;
14 months ago wenzelm 2018-06-03 fork parallel prints early in execution: avoid degradation of priority due to main eval task;
14 months ago wenzelm 2018-06-03 clarified signature: prefer Document.Snapshot;
14 months ago nipkow 2018-06-03 list syntax details
14 months ago nipkow 2018-06-03 merged
14 months ago nipkow 2018-06-03 allow tuple patterns in list comprehensions
14 months ago paulson 2018-06-03 infinite product material
14 months ago paulson 2018-06-02 merged
14 months ago paulson 2018-06-02 tidied more Cauchy proofs
14 months ago wenzelm 2018-06-02 tuned proofs;
14 months ago wenzelm 2018-06-02 more symbols;
14 months ago wenzelm 2018-06-02 more formal comments;
14 months ago wenzelm 2018-06-02 more args;
14 months ago wenzelm 2018-06-02 record active execution task and depend on it -- avoid new executions bumping into old ones;
14 months ago wenzelm 2018-06-02 tuned -- more explicit types;
14 months ago wenzelm 2018-06-02 less frequent consolidation: it requires a full Document.update and Document.start_execution;
14 months ago wenzelm 2018-06-01 varify frees, notably dangling_params (see also e0cd57aeb60c);
14 months ago wenzelm 2018-06-01 tuned -- more explicit expression;
14 months ago wenzelm 2018-06-01 merged
14 months ago wenzelm 2018-06-01 documentation for "isabelle dump";
14 months ago wenzelm 2018-06-01 more dump aspects, with options; tuned signature;
14 months ago wenzelm 2018-06-01 tuned signature;
14 months ago wenzelm 2018-06-01 clarified default: all aspects;
14 months ago wenzelm 2018-06-01 clarified priority;
14 months ago nipkow 2018-06-01 merged
14 months ago nipkow 2018-06-01 added lemma
14 months ago paulson 2018-06-01 Fixed latex markup
14 months ago paulson 2018-06-01 merged