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