src/Pure/Thy/present.ML
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;
2011-07-16 wenzelm 2011-07-16 moved bash operations to Isabelle_System (cf. Scala version);
2011-07-08 wenzelm 2011-07-08 moved Outer_Syntax.load_thy to Thy_Load.load_thy; tuned signatures; tuned module dependencies;
2011-06-18 wenzelm 2011-06-18 proper place for config files;
2011-03-26 wenzelm 2011-03-26 Isabelle_System.create_tmp_path/with_tmp_file: optional extension; thread-safe versions of Present.display_graph, Present.isabelle_browser, Present.drafts -- using Isabelle_System.with_tmp_dir;
2011-03-26 wenzelm 2011-03-26 tuned;
2011-03-20 wenzelm 2011-03-20 eliminated dead code;
2011-03-20 wenzelm 2011-03-20 parallel preparation of document variants, within separate directories;
2011-03-20 wenzelm 2011-03-20 Present.init/finish/no_document are not thread-safe -- eliminated futile CRITICAL sections; tuned;
2011-03-20 wenzelm 2011-03-20 eliminated redundant doc_prefix1; tuned;
2011-03-20 wenzelm 2011-03-20 renamed doc_prefix2 to dump_prefix;
2011-03-20 wenzelm 2011-03-20 tuned;
2011-03-20 wenzelm 2011-03-20 tuned terminology for document variants;
2011-03-20 wenzelm 2011-03-20 replaced File.check by specific File.check_file, File.check_dir; clarified File.full_path -- include parts of former Thy_Load.get_file; simplified Thy_Load.check_file -- do not read/digest yet; merged Thy_Load.check_thy/deps_thy -- always read text and parse header; clarified Thy_Header.read -- NB: partial Path.explode outside of args parser combinator; Thy_Info.check_deps etc.: File.read exactly once;
2011-03-13 wenzelm 2011-03-13 Path.print is the official way to show file-system paths to users -- note that Path.implode often indicates violation of the abstract datatype;
2011-03-03 wenzelm 2011-03-03 discontinued legacy load path;
2010-12-03 wenzelm 2010-12-03 comment;
2010-11-27 wenzelm 2010-11-27 more explicit Isabelle_System operations;
2010-09-27 wenzelm 2010-09-27 renamed raw output primitives to emphasize their meaning -- not to be used in user-space;
2010-09-22 wenzelm 2010-09-22 renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
2010-08-03 wenzelm 2010-08-03 simplified/clarified Thy_Load path: search for master only, lookup other files relative to that; tuned;
2010-07-22 wenzelm 2010-07-22 generic external source files -- nothing special about ML here;