15 months ago wenzelm 2018-06-01 clarified priority;
15 months ago nipkow 2018-06-01 merged
15 months ago nipkow 2018-06-01 added lemma
15 months ago paulson 2018-06-01 Fixed latex markup
15 months ago paulson 2018-06-01 merged
15 months ago paulson 2018-06-01 more tidying
15 months ago wenzelm 2018-05-31 merged
15 months ago wenzelm 2018-05-31 more symbols;
15 months ago wenzelm 2018-05-31 Document.update includes node consolidation / presentation as regular print operation: avoid user operations on protocol thread; tuned;
15 months ago wenzelm 2018-05-31 clarified: consolidated result is last command;
15 months ago wenzelm 2018-05-31 support for anonymous print function values; clarified treatment of retained_prints;
15 months ago wenzelm 2018-05-30 tuned;
15 months ago wenzelm 2018-05-30 store Isabelle symbols in canonical form; tuned signature;
15 months ago wenzelm 2018-05-30 clarified outermost progress.interrupt_handler;
15 months ago wenzelm 2018-05-30 report theory progress via PIDE node status;
15 months ago blanchet 2018-05-31 merge
15 months ago blanchet 2018-05-31 more conservative output, avoiding nonstandard feature of E
15 months ago paulson 2018-05-30 merged
15 months ago paulson 2018-05-30 winding numbers predicate
15 months ago nipkow 2018-05-30 unused
15 months ago wenzelm 2018-05-29 merged
15 months ago wenzelm 2018-05-29 more node status information;
15 months ago wenzelm 2018-05-29 tuned signature;
15 months ago wenzelm 2018-05-29 tuned signature;
15 months ago wenzelm 2018-05-29 shutdown ML process before output: Theories_Result is timeless/stateless;
15 months ago wenzelm 2018-05-29 more operations; more output;
15 months ago wenzelm 2018-05-29 more accurate dependencies; tuned;
15 months ago wenzelm 2018-05-29 tuned;
15 months ago wenzelm 2018-05-29 more formal dump aspects; support output dir;
15 months ago wenzelm 2018-05-29 more operations (as in ML);
15 months ago wenzelm 2018-05-29 clarified option -O: avoid conflict with build/dump option -D;
15 months ago nipkow 2018-05-29 slicker proof
15 months ago nipkow 2018-05-29 canonical names
15 months ago paulson 2018-05-28 merged
15 months ago paulson 2018-05-28 more general tidying
15 months ago wenzelm 2018-05-28 merged
15 months ago wenzelm 2018-05-28 support to dump build database produced by PIDE session;
15 months ago wenzelm 2018-05-28 more accurate theory_graph: avoid imports of loaded_theories with incomplete node name;
15 months ago wenzelm 2018-05-28 clarified signature: Known.theories retains Document.Node.Entry (with header);
15 months ago wenzelm 2018-05-28 clarified signature;
15 months ago wenzelm 2018-05-28 tuned signature;
15 months ago paulson 2018-05-27 merged
15 months ago paulson 2018-05-27 tidying up a bit more
15 months ago wenzelm 2018-05-27 prefer existing operation;
15 months ago wenzelm 2018-05-27 retain isolated blob nodes (amending deb2fcbda16e): avoid failure of Session.handle_change with "Missing blob", when opening theory with load command later;
15 months ago wenzelm 2018-05-27 clarified signature -- avoid confusion with Resources.is_hidden;
15 months ago wenzelm 2018-05-27 markup for deleted fragments of token source (NB: quoted tokens transform "\123" implicitly);
15 months ago paulson 2018-05-26 merged
15 months ago paulson 2018-05-26 tidying and reorganisation around Cauchy Integral Theorem
15 months ago wenzelm 2018-05-26 export sort algebra;
15 months ago wenzelm 2018-05-26 tuned;
15 months ago wenzelm 2018-05-26 tuned;
16 months ago wenzelm 2018-05-26 support 'export_files' in session ROOT;
16 months ago wenzelm 2018-05-26 clarified output;
16 months ago wenzelm 2018-05-26 support multiple patterns;
16 months ago wenzelm 2018-05-26 clarified cache;
16 months ago wenzelm 2018-05-26 tuned signature;
16 months ago wenzelm 2018-05-26 tuned output;
16 months ago paulson 2018-05-26 merged
16 months ago paulson 2018-05-26 merged