src/Pure/Thy/present.ML
20 months ago wenzelm 2017-10-30 eliminated pointless warning (see a35af478aee4): empty 'document_files' means there is no document;
21 months ago wenzelm 2017-09-19 clarified "purge": retain .aux files etc. before "isabelle document", to allow 'document_files' providing such generated files (see also c3ea910b3581, 38ce936acb99);
2017-06-08 wenzelm 2017-06-08 more official session qualifier;
2017-04-18 wenzelm 2017-04-18 exclude theories from other sessions; clarified modules;
2017-04-17 wenzelm 2017-04-17 obsolete;
2017-04-10 wenzelm 2017-04-10 clarified theory_long_name (for qualified access to Thy_Info) vs. short theory_name (which is unique within any given theory context);
2016-04-03 wenzelm 2016-04-03 clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
2016-03-10 wenzelm 2016-03-10 prefer plain "isabelle" from PATH within Isabelle settings environment;
2016-03-07 wenzelm 2016-03-07 tuned -- more standard operations;
2016-03-07 wenzelm 2016-03-07 File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output; clarified treatment of whitespace in some bash scripts;
2015-10-10 wenzelm 2015-10-10 more explicit HTML.symbols; tuned signature;
2015-10-09 wenzelm 2015-10-09 more Present operations on Scala side;
2015-04-15 wenzelm 2015-04-15 session graph with folded base theories, as in document preparation;
2015-01-26 wenzelm 2015-01-26 prefer plain session_graph.pdf over GraphBrowser applet;
2015-01-25 wenzelm 2015-01-25 discontinued obsolete option "document_graph";
2015-01-25 wenzelm 2015-01-25 provide session_graph.pdf via Isabelle/Scala;
2015-01-03 wenzelm 2015-01-03 more uniform support for graph display in ML/Scala;
2014-12-31 wenzelm 2014-12-31 clarified Graph_Display.graph etc.: sort_graph determines order from structure (and names); tuned;
2014-12-31 wenzelm 2014-12-31 tuned;
2014-12-31 wenzelm 2014-12-31 for graph display, prefer graph data structure over list with dependencies; pragmatic distinction between (historically evolved) "session" nodes and (more abstract) "content" nodes
2014-12-31 wenzelm 2014-12-31 more explict and generic field names
2014-12-22 wenzelm 2014-12-22 proper Synchronized.var;
2014-11-26 wenzelm 2014-11-26 renamed "pairself" to "apply2", in accordance to @{apply 2};
2014-11-02 wenzelm 2014-11-02 more flexibile \setisabellecontext, independently of header;
2014-08-10 wenzelm 2014-08-10 insist in proper 'document_files';
2014-04-29 wenzelm 2014-04-29 require explicit 'document_files';
2014-04-17 wenzelm 2014-04-17 tuned;
2014-04-17 wenzelm 2014-04-17 tuned;
2014-04-11 wenzelm 2014-04-11 explicit 'document_files' in session ROOT specifications; clarified Isabelle_System.copy_file(_base): preserve file-attributes and local directory hierarchy;
2014-04-10 wenzelm 2014-04-10 tuned;
2014-04-10 wenzelm 2014-04-10 removed obsolete doc_dump option (see also 892061142ba6);
2013-12-06 wenzelm 2013-12-06 clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
2013-11-16 wenzelm 2013-11-16 prefer explicit "document" flag -- eliminated stateful Present.no_document;
2013-11-16 wenzelm 2013-11-16 simplified HTML theory presentation;
2013-11-16 wenzelm 2013-11-16 removed remains of HTML presentation of auxiliary files -- inactive since Isabelle2013;
2013-08-23 wenzelm 2013-08-23 added Theory.setup convenience;
2013-07-27 wenzelm 2013-07-27 discontinued ISABELLE_DOC_FORMAT;
2013-07-07 wenzelm 2013-07-07 tuned signature;
2013-07-07 wenzelm 2013-07-07 discontinued command 'print_drafts';
2013-03-28 wenzelm 2013-03-28 proper default browser info for interactive mode, notably thy_deps;
2013-03-13 wenzelm 2013-03-13 include only README.html, not historic README, which tends towards surprises like src/HOL/SPARK/Examples/README;
2013-03-13 wenzelm 2013-03-13 show expanded path, to avoid odd /foo/bar/$ISABELLE_BROWSER_INFO/baz;
2013-03-12 wenzelm 2013-03-12 tuned;
2013-03-12 wenzelm 2013-03-12 more accurate theory links;
2013-03-12 wenzelm 2013-03-12 discontinued "isabelle usedir" option -r (reset session path); simplified internal session identification: chapter / name; clarified chapter index (of sessions) vs. session index (of theories); discontinued "up" links, for improved modularity also wrt. partial browser_info (users can use "back" within the browser); removed obsolete session parent_path;
2013-03-11 wenzelm 2013-03-11 discontinued "isabelle usedir" option -P (remote path);
2013-02-27 wenzelm 2013-02-27 discontinued obsolete 'uses' within theory header;
2013-01-03 wenzelm 2013-01-03 maintain session index on Scala side, for more determistic results; removed unused HTML operations;
2012-11-18 wenzelm 2012-11-18 isabelle build no longer supports document_dump/document_dump_mode (no INCOMPATIBILITY, since it was never in official release); always generate sty files, as before c5d0f19ef7cb;
2012-09-25 wenzelm 2012-09-25 ML support for generic graph display, with browser and graphview backends (via print modes); reverse graph layout (again), according to the graph orientation provided by ML; simplified scala types -- eliminated unused type parameters; more explicit Model.Info, Model.Graph; renamed isabelle.graphview.Graphview_Frame to isabelle.graphview.Frame in accordance to file name; removed obsolete Graph_XML and Tooltips; tuned graphview command line; more generous JVM resources via GRAPHVIEW_JAVA_OPTIONS;
2012-09-25 wenzelm 2012-09-25 separate module Graph_Display; tuned signature;
2012-08-27 wenzelm 2012-08-27 clarified document directories: browser_info as backdrop vs. optional output directory in the foreground;
2012-08-27 wenzelm 2012-08-27 tuned;
2012-08-14 wenzelm 2012-08-14 explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
2012-08-14 wenzelm 2012-08-14 more direct interpretation of document_variants for build (unchanged for usedir);
2012-07-27 wenzelm 2012-07-27 prefer explicit datatype Present.dump_mode;
2012-07-26 wenzelm 2012-07-26 refined "document_dump_mode": "all", "tex+sty", "tex";
2012-07-23 wenzelm 2012-07-23 pass ISABELLE_BROWSER_INFO as explicit argument;
2011-09-19 wenzelm 2011-09-19 unique file names via serial numbers, to allow files like "root" or multiple files with same base name;
2011-08-23 wenzelm 2011-08-23 tuned signature -- contrast physical output primitives versus Output.raw_message;