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;
12 months ago wenzelm 2018-06-02 more symbols;
12 months ago wenzelm 2018-06-02 more formal comments;
12 months ago wenzelm 2018-06-02 more args;
12 months ago wenzelm 2018-06-02 record active execution task and depend on it -- avoid new executions bumping into old ones;
12 months ago wenzelm 2018-06-02 tuned -- more explicit types;
12 months ago wenzelm 2018-06-02 less frequent consolidation: it requires a full Document.update and Document.start_execution;
12 months ago wenzelm 2018-06-01 varify frees, notably dangling_params (see also e0cd57aeb60c);
12 months ago wenzelm 2018-06-01 tuned -- more explicit expression;
12 months ago wenzelm 2018-06-01 merged
12 months ago wenzelm 2018-06-01 documentation for "isabelle dump";
12 months ago wenzelm 2018-06-01 more dump aspects, with options; tuned signature;
12 months ago wenzelm 2018-06-01 tuned signature;
12 months ago wenzelm 2018-06-01 clarified default: all aspects;
12 months ago wenzelm 2018-06-01 clarified priority;
12 months ago nipkow 2018-06-01 merged
12 months ago nipkow 2018-06-01 added lemma
12 months ago paulson 2018-06-01 Fixed latex markup
12 months ago paulson 2018-06-01 merged
12 months ago paulson 2018-06-01 more tidying
12 months ago wenzelm 2018-05-31 merged
12 months ago wenzelm 2018-05-31 more symbols;
12 months ago wenzelm 2018-05-31 Document.update includes node consolidation / presentation as regular print operation: avoid user operations on protocol thread; tuned;
12 months ago wenzelm 2018-05-31 clarified: consolidated result is last command;
12 months ago wenzelm 2018-05-31 support for anonymous print function values; clarified treatment of retained_prints;
12 months ago wenzelm 2018-05-30 tuned;
12 months ago wenzelm 2018-05-30 store Isabelle symbols in canonical form; tuned signature;
12 months ago wenzelm 2018-05-30 clarified outermost progress.interrupt_handler;
12 months ago wenzelm 2018-05-30 report theory progress via PIDE node status;
12 months ago blanchet 2018-05-31 merge