18 months ago blanchet 2018-01-03 kill old size infrastructure
18 months ago haftmann 2018-01-02 repaired whitespace accident from 2505cabfc515
18 months ago haftmann 2018-01-01 proper namespace for evaluators
18 months ago haftmann 2018-01-01 tuned
18 months ago haftmann 2018-01-01 more correct name resolving
18 months ago haftmann 2018-01-01 skip abstract constructors silently in datatype clauses of computations
18 months ago blanchet 2018-01-02 removed para about 'old_datatype' in docs
18 months ago wenzelm 2018-01-02 old_datatype no longer exists (cf. 706b1cf7b76d);
18 months ago wenzelm 2018-01-02 merged
18 months ago wenzelm 2018-01-02 PIDE markup for Markdown items (which may consist of multiple paragraphs or lists);
18 months ago wenzelm 2018-01-02 clarified terminology of "markdown_bullet";
18 months ago blanchet 2018-01-02 compile
18 months ago blanchet 2018-01-02 updated dependencies + compile
18 months ago blanchet 2018-01-02 moved 'realizers' into their own theory, now that they are decupled from the old datatype construction
18 months ago blanchet 2018-01-02 removed 'old_datatype' command
18 months ago blanchet 2018-01-02 don't test 'old_datatype', which is on its way out
18 months ago blanchet 2018-01-02 ported inductive realizer to new datatype package
18 months ago blanchet 2018-01-02 removed needless theorems
18 months ago blanchet 2018-01-02 store high-level 'size' equations
18 months ago blanchet 2018-01-02 avoid call to function that may throw an exception in error message
18 months ago wenzelm 2018-01-01 misc tuning and modernization;
18 months ago wenzelm 2018-01-01 more completion templates;
18 months ago wenzelm 2018-01-01 proper purge of auxiliary bibtex theory;
18 months ago wenzelm 2018-01-01 tuned signature;
18 months ago wenzelm 2018-01-01 tuned;
18 months ago paulson 2017-12-31 Restored correct spacing for set comprehensions
18 months ago wenzelm 2017-12-30 less redundant;
18 months ago wenzelm 2017-12-30 more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);
18 months ago wenzelm 2017-12-30 more robust treatment of conflicts with existing Unicode text;
18 months ago wenzelm 2017-12-30 tuned whitespace;
18 months ago wenzelm 2017-12-29 no check for bibtex entries from other sessions;
18 months ago wenzelm 2017-12-29 clarified signature;
18 months ago wenzelm 2017-12-29 more accurate message patterns;
18 months ago wenzelm 2017-12-29 prefer formal citations; more accurate bibtex entries;
18 months ago wenzelm 2017-12-29 proper bibtex entries;
18 months ago wenzelm 2017-12-29 formal check of @{cite} bibtex entries -- only in batch-mode session builds;
18 months ago wenzelm 2017-12-28 clarified check, notably for bibtex theory (amending 5f082b1fa9fa);
18 months ago wenzelm 2017-12-28 NEWS;
18 months ago wenzelm 2017-12-28 proper check for imports, not just ROOT entries;
18 months ago wenzelm 2017-12-28 tuned signature;
18 months ago wenzelm 2017-12-28 implicit thy_load context for bibtex files (VSCode);
18 months ago wenzelm 2017-12-28 bibtex theory is always required and thus eventually consolidated;
18 months ago wenzelm 2017-12-28 implicit thy_load context for bibtex files;
18 months ago wenzelm 2017-12-28 clarified signature: prefer Document.Node.Name.is_bibtex;
18 months ago wenzelm 2017-12-28 avoid spurious noise: Prover IDE is meant to check for errors;
18 months ago wenzelm 2017-12-28 clarified signature;
18 months ago wenzelm 2017-12-28 avoid clash with special files in HTML output;
18 months ago wenzelm 2017-12-28 unused;
18 months ago wenzelm 2017-12-28 tuned signature;
18 months ago wenzelm 2017-12-28 prefer existing Resources.check_path;
18 months ago wenzelm 2017-12-28 more accurate bibtex entries;
18 months ago wenzelm 2017-12-28 added command 'bibtex_file' (for PIDE interaction only);
18 months ago wenzelm 2017-12-27 clarified default position for empty message pos;
19 months ago haftmann 2017-12-25 spelling
19 months ago eberlm 2017-12-24 Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume
19 months ago wenzelm 2017-12-24 fewer warnings;
19 months ago wenzelm 2017-12-24 clarified positions;
19 months ago wenzelm 2017-12-24 check bibtex database on ML side -- for semantic PIDE editing; tuned signature;
19 months ago wenzelm 2017-12-24 clarified directories;
19 months ago wenzelm 2017-12-24 more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default);