| 2015-01-26 |
wenzelm |
2015-01-26 |
prefer plain session_graph.pdf over GraphBrowser applet;
|
file | diff | annotate |
| 2015-01-25 |
wenzelm |
2015-01-25 |
discontinued obsolete option "document_graph";
|
file | diff | annotate |
| 2015-01-25 |
wenzelm |
2015-01-25 |
provide session_graph.pdf via Isabelle/Scala;
|
file | diff | annotate |
| 2015-01-03 |
wenzelm |
2015-01-03 |
more uniform support for graph display in ML/Scala;
|
file | diff | annotate |
| 2014-12-31 |
wenzelm |
2014-12-31 |
clarified Graph_Display.graph etc.: sort_graph determines order from structure (and names);
tuned;
|
file | diff | annotate |
| 2014-12-31 |
wenzelm |
2014-12-31 |
tuned;
|
file | diff | annotate |
| 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
|
file | diff | annotate |
| 2014-12-31 |
wenzelm |
2014-12-31 |
more explict and generic field names
|
file | diff | annotate |
| 2014-12-22 |
wenzelm |
2014-12-22 |
proper Synchronized.var;
|
file | diff | annotate |
| 2014-11-26 |
wenzelm |
2014-11-26 |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file | diff | annotate |
| 2014-11-02 |
wenzelm |
2014-11-02 |
more flexibile \setisabellecontext, independently of header;
|
file | diff | annotate |
| 2014-08-10 |
wenzelm |
2014-08-10 |
insist in proper 'document_files';
|
file | diff | annotate |
| 2014-04-29 |
wenzelm |
2014-04-29 |
require explicit 'document_files';
|
file | diff | annotate |
| 2014-04-17 |
wenzelm |
2014-04-17 |
tuned;
|
file | diff | annotate |
| 2014-04-17 |
wenzelm |
2014-04-17 |
tuned;
|
file | diff | annotate |
| 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;
|
file | diff | annotate |
| 2014-04-10 |
wenzelm |
2014-04-10 |
tuned;
|
file | diff | annotate |
| 2014-04-10 |
wenzelm |
2014-04-10 |
removed obsolete doc_dump option (see also 892061142ba6);
|
file | diff | annotate |
| 2013-12-06 |
wenzelm |
2013-12-06 |
clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
|
file | diff | annotate |
| 2013-11-16 |
wenzelm |
2013-11-16 |
prefer explicit "document" flag -- eliminated stateful Present.no_document;
|
file | diff | annotate |
| 2013-11-16 |
wenzelm |
2013-11-16 |
simplified HTML theory presentation;
|
file | diff | annotate |
| 2013-11-16 |
wenzelm |
2013-11-16 |
removed remains of HTML presentation of auxiliary files -- inactive since Isabelle2013;
|
file | diff | annotate |
| 2013-08-23 |
wenzelm |
2013-08-23 |
added Theory.setup convenience;
|
file | diff | annotate |
| 2013-07-27 |
wenzelm |
2013-07-27 |
discontinued ISABELLE_DOC_FORMAT;
|
file | diff | annotate |
| 2013-07-07 |
wenzelm |
2013-07-07 |
tuned signature;
|
file | diff | annotate |
| 2013-07-07 |
wenzelm |
2013-07-07 |
discontinued command 'print_drafts';
|
file | diff | annotate |
| 2013-03-28 |
wenzelm |
2013-03-28 |
proper default browser info for interactive mode, notably thy_deps;
|
file | diff | annotate |
| 2013-03-13 |
wenzelm |
2013-03-13 |
include only README.html, not historic README, which tends towards surprises like src/HOL/SPARK/Examples/README;
|
file | diff | annotate |
| 2013-03-13 |
wenzelm |
2013-03-13 |
show expanded path, to avoid odd /foo/bar/$ISABELLE_BROWSER_INFO/baz;
|
file | diff | annotate |
| 2013-03-12 |
wenzelm |
2013-03-12 |
tuned;
|
file | diff | annotate |
| 2013-03-12 |
wenzelm |
2013-03-12 |
more accurate theory links;
|
file | diff | annotate |
| 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;
|
file | diff | annotate |
| 2013-03-11 |
wenzelm |
2013-03-11 |
discontinued "isabelle usedir" option -P (remote path);
|
file | diff | annotate |
| 2013-02-27 |
wenzelm |
2013-02-27 |
discontinued obsolete 'uses' within theory header;
|
file | diff | annotate |
| 2013-01-03 |
wenzelm |
2013-01-03 |
maintain session index on Scala side, for more determistic results;
removed unused HTML operations;
|
file | diff | annotate |
| 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;
|
file | diff | annotate |
| 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;
|
file | diff | annotate |
| 2012-09-25 |
wenzelm |
2012-09-25 |
separate module Graph_Display;
tuned signature;
|
file | diff | annotate |
| 2012-08-27 |
wenzelm |
2012-08-27 |
clarified document directories: browser_info as backdrop vs. optional output directory in the foreground;
|
file | diff | annotate |
| 2012-08-27 |
wenzelm |
2012-08-27 |
tuned;
|
file | diff | annotate |
| 2012-08-14 |
wenzelm |
2012-08-14 |
explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
|
file | diff | annotate |
| 2012-08-14 |
wenzelm |
2012-08-14 |
more direct interpretation of document_variants for build (unchanged for usedir);
|
file | diff | annotate |
| 2012-07-27 |
wenzelm |
2012-07-27 |
prefer explicit datatype Present.dump_mode;
|
file | diff | annotate |
| 2012-07-26 |
wenzelm |
2012-07-26 |
refined "document_dump_mode": "all", "tex+sty", "tex";
|
file | diff | annotate |
| 2012-07-23 |
wenzelm |
2012-07-23 |
pass ISABELLE_BROWSER_INFO as explicit argument;
|
file | diff | annotate |
| 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;
|
file | diff | annotate |
| 2011-08-23 |
wenzelm |
2011-08-23 |
tuned signature -- contrast physical output primitives versus Output.raw_message;
|
file | diff | annotate |
| 2011-07-16 |
wenzelm |
2011-07-16 |
moved bash operations to Isabelle_System (cf. Scala version);
|
file | diff | annotate |
| 2011-07-08 |
wenzelm |
2011-07-08 |
moved Outer_Syntax.load_thy to Thy_Load.load_thy;
tuned signatures;
tuned module dependencies;
|
file | diff | annotate |
| 2011-06-18 |
wenzelm |
2011-06-18 |
proper place for config files;
|
file | diff | annotate |
| 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;
|
file | diff | annotate |
| 2011-03-26 |
wenzelm |
2011-03-26 |
tuned;
|
file | diff | annotate |
| 2011-03-20 |
wenzelm |
2011-03-20 |
eliminated dead code;
|
file | diff | annotate |
| 2011-03-20 |
wenzelm |
2011-03-20 |
parallel preparation of document variants, within separate directories;
|
file | diff | annotate |
| 2011-03-20 |
wenzelm |
2011-03-20 |
Present.init/finish/no_document are not thread-safe -- eliminated futile CRITICAL sections;
tuned;
|
file | diff | annotate |
| 2011-03-20 |
wenzelm |
2011-03-20 |
eliminated redundant doc_prefix1;
tuned;
|
file | diff | annotate |
| 2011-03-20 |
wenzelm |
2011-03-20 |
renamed doc_prefix2 to dump_prefix;
|
file | diff | annotate |
| 2011-03-20 |
wenzelm |
2011-03-20 |
tuned;
|
file | diff | annotate |
| 2011-03-20 |
wenzelm |
2011-03-20 |
tuned terminology for document variants;
|
file | diff | annotate |
| 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;
|
file | diff | annotate |