src/Doc/ROOT
6 weeks ago wenzelm 2017-12-06 just one session for bulky HOL-Analysis documents;
6 weeks ago nipkow 2017-12-06 initial version of Analysis document
2 months ago wenzelm 2017-11-01 clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
2 months ago wenzelm 2017-10-30 ROOT cleanup: empty 'document_files' means there is no document;
3 months ago wenzelm 2017-10-02 eliminated old-style no-document imports;
5 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
5 months ago wenzelm 2017-08-17 clarified imports;
9 months ago wenzelm 2017-04-24 clarified parent session images, to avoid duplicate loading of theories;
9 months ago wenzelm 2017-04-23 clarified parent session images, to avoid duplicate loading of theories;
11 months ago haftmann 2017-02-22 basic documentation for computations
14 months ago wenzelm 2016-11-20 more on "Formal scopes and semantic selection";
21 months ago haftmann 2016-04-18 fragment of a HOL type class primer
22 months ago blanchet 2016-03-29 added sketchy 'corec' documentation
22 months ago wenzelm 2016-03-16 clarified name;
23 months ago wenzelm 2016-02-19 moved examples to avoid dependency on bulky HOL-Proofs session, e.g. relevant for "isabelle makedist";
23 months ago wenzelm 2016-02-17 SML/NJ is no longer supported;
24 months ago wenzelm 2016-01-24 guard sessions that no longer work with SML/NJ -- memory problems;
2016-01-12 wenzelm 2016-01-12 updated old screenshots, added new screenshots;
2015-12-31 wenzelm 2015-12-31 discontinued documentation of old browser; tuned;
2015-07-06 wenzelm 2015-07-06 clarified sections;
2015-07-06 wenzelm 2015-07-06 removed outdated and mostly obsolete material;
2015-06-15 wenzelm 2015-06-15 moved sections;
2015-05-19 wenzelm 2015-05-19 more on displays with very high resolution;
2015-05-17 wenzelm 2015-05-17 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository;
2015-05-04 wenzelm 2015-05-04 more on Isabelle document preparation and bibtex files;
2015-01-19 wenzelm 2015-01-19 no document here;
2015-01-15 haftmann 2015-01-15 separate image for prerequisites of codegen tutorial
2014-12-22 wenzelm 2014-12-22 system option "pretty_margin" is superseded by "thy_output_margin";
2014-10-28 wenzelm 2014-10-28 'notepad' requires proper nesting of begin/end;
2014-09-01 blanchet 2014-09-01 renamed modules defining old datatypes, as a step towards having 'datatype_new' take 'datatype's place
2014-06-26 wenzelm 2014-06-26 suppress documentation "how_to_prove_it" for now, notably for release;
2014-06-18 wenzelm 2014-06-18 added screenshot;
2014-06-17 wenzelm 2014-06-17 added screenshot;
2014-06-16 wenzelm 2014-06-16 clarified role of old user interfaces as misc tools;
2014-06-06 wenzelm 2014-06-06 updated screenshots;
2014-05-24 wenzelm 2014-05-24 more portable file names;
2014-05-02 wenzelm 2014-05-02 more standard doc session specification;
2014-04-11 wenzelm 2014-04-11 more formal dependencies via 'document_files';
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485
2014-04-05 haftmann 2014-04-05 closer correspondence of document and session names, while maintaining document names for external reference
2014-02-10 wenzelm 2014-02-10 discontinued axiomatic 'classes', 'classrel', 'arities';
2014-01-29 paulson 2014-01-29 Replacing the theory Library/Binomial by Number_Theory/Binomial
2014-01-20 blanchet 2014-01-20 reduced dependencies + updated docs
2013-10-31 wenzelm 2013-10-31 more on automatically tried tools;
2013-10-12 wenzelm 2013-10-12 more screenshots; tuned;
2013-10-01 krauss 2013-10-01 basic documentation for function elimination rules and fun_cases
2013-09-21 wenzelm 2013-09-21 basic setup for Isabelle/jEdit documentation;
2013-09-13 blanchet 2013-09-13 removed accidentally submitted line
2013-09-13 blanchet 2013-09-13 more (co)data doc
2013-09-11 blanchet 2013-09-11 more (co)data docs
2013-09-11 blanchet 2013-09-11 more (co)data docs
2013-09-03 wenzelm 2013-09-03 more robust ToyList_Test;
2013-08-01 blanchet 2013-08-01 more (co)datatype docs
2013-07-30 blanchet 2013-07-30 sketched documentation for new (co)datatype package
2013-07-27 wenzelm 2013-07-27 more direct inclusion of tikz pictures;
2013-07-27 wenzelm 2013-07-27 obsolete;
2013-07-07 wenzelm 2013-07-07 reduced number of old manuals: chapter HOL is back again to the Logics manual by Larry;
2013-07-02 wenzelm 2013-07-02 clarified Proofterm.proofs vs. Goal.skip_proofs;
2013-06-30 wenzelm 2013-06-30 discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image; discontinued unused proofterms for FOL;
2013-06-25 wenzelm 2013-06-25 more robust options, notably for isatest mac-poly-M8-skip_proofs;