Tue, 17 Nov 2020 16:48:18 +0100 |
wenzelm |
proper link location;
|
file |
diff |
annotate
|
Mon, 16 Nov 2020 22:23:04 +0100 |
wenzelm |
HTML presentation in Isabelle/Scala, based on theory html exports from Isabelle/ML;
|
file |
diff |
annotate
|
Mon, 16 Nov 2020 13:11:15 +0100 |
wenzelm |
refer to HTML symbols via resources;
|
file |
diff |
annotate
|
Sun, 15 Nov 2020 22:00:45 +0100 |
wenzelm |
refer to session structure from resources;
|
file |
diff |
annotate
|
Sun, 15 Nov 2020 17:34:19 +0100 |
wenzelm |
clarified bibtex_entries: refer to overall session structure;
|
file |
diff |
annotate
|
Sat, 14 Nov 2020 17:29:37 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 11 Nov 2020 21:00:14 +0100 |
wenzelm |
build documents in Isabelle/Scala, based on generated tex files as session exports;
|
file |
diff |
annotate
|
Tue, 27 Oct 2020 22:34:37 +0100 |
wenzelm |
clarified signature: overloaded "+" for Path.append;
|
file |
diff |
annotate
|
Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 28 Sep 2020 17:43:31 +0200 |
wenzelm |
unused (see 564012e31db1);
|
file |
diff |
annotate
|
Sat, 26 Sep 2020 16:02:41 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 26 Sep 2020 14:29:46 +0200 |
wenzelm |
discontinued obsolete DVI document format and related settings/tools;
|
file |
diff |
annotate
|
Thu, 16 Jul 2020 16:38:25 +0200 |
wenzelm |
more thorough extend/merge (for Theory.join_theory);
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 19:11:59 +0100 |
wenzelm |
eliminated pointless flag (see also 6533ceee4cd7);
|
file |
diff |
annotate
|
Tue, 26 Jun 2018 18:44:51 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 14 May 2018 14:30:13 +0200 |
wenzelm |
export generated document.tex, unless explicit document=false;
|
file |
diff |
annotate
|
Mon, 14 May 2018 10:58:14 +0200 |
wenzelm |
clarified signature: more explicit type "context" with full options;
|
file |
diff |
annotate
|
Sat, 13 Jan 2018 19:50:37 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 29 Dec 2017 21:17:43 +0100 |
wenzelm |
no check for bibtex entries from other sessions;
|
file |
diff |
annotate
|
Fri, 29 Dec 2017 17:40:57 +0100 |
wenzelm |
formal check of @{cite} bibtex entries -- only in batch-mode session builds;
|
file |
diff |
annotate
|
Thu, 28 Dec 2017 12:20:52 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Fri, 22 Dec 2017 18:32:59 +0100 |
wenzelm |
discontinued 'display_drafts' command;
|
file |
diff |
annotate
|
Wed, 13 Dec 2017 18:01:22 +0100 |
wenzelm |
purge more carefully (amending 26f548370e8d);
|
file |
diff |
annotate
|
Wed, 13 Dec 2017 16:18:40 +0100 |
wenzelm |
positions as postlude: avoid intrusion of odd %-forms into main tex source;
|
file |
diff |
annotate
|
Tue, 12 Dec 2017 17:53:59 +0100 |
wenzelm |
purge more thoroughly;
|
file |
diff |
annotate
|
Tue, 12 Dec 2017 13:34:11 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Sun, 10 Dec 2017 20:50:09 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Sun, 10 Dec 2017 20:31:14 +0100 |
wenzelm |
clean log file on Windows;
|
file |
diff |
annotate
|
Sun, 10 Dec 2017 18:31:41 +0100 |
wenzelm |
re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
|
file |
diff |
annotate
|
Sun, 10 Dec 2017 14:50:44 +0100 |
wenzelm |
removed Emacs legacy;
|
file |
diff |
annotate
|
Sun, 10 Dec 2017 14:29:14 +0100 |
wenzelm |
more explicit latex errors;
|
file |
diff |
annotate
|
Mon, 30 Oct 2017 19:36:27 +0100 |
wenzelm |
eliminated pointless warning (see a35af478aee4): empty 'document_files' means there is no document;
|
file |
diff |
annotate
|
Tue, 19 Sep 2017 14:26:25 +0200 |
wenzelm |
clarified "purge": retain .aux files etc. before "isabelle document", to allow 'document_files' providing such generated files (see also c3ea910b3581, 38ce936acb99);
|
file |
diff |
annotate
|
Thu, 08 Jun 2017 12:54:55 +0200 |
wenzelm |
more official session qualifier;
|
file |
diff |
annotate
|
Tue, 18 Apr 2017 16:34:58 +0200 |
wenzelm |
exclude theories from other sessions;
|
file |
diff |
annotate
|
Mon, 17 Apr 2017 15:08:49 +0200 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
Mon, 10 Apr 2017 21:43:21 +0200 |
wenzelm |
clarified theory_long_name (for qualified access to Thy_Info) vs. short theory_name (which is unique within any given theory context);
|
file |
diff |
annotate
|
Sun, 03 Apr 2016 21:32:57 +0200 |
wenzelm |
clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
|
file |
diff |
annotate
|
Thu, 10 Mar 2016 17:30:04 +0100 |
wenzelm |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
file |
diff |
annotate
|
Mon, 07 Mar 2016 21:33:41 +0100 |
wenzelm |
tuned -- more standard operations;
|
file |
diff |
annotate
|
Mon, 07 Mar 2016 21:09:28 +0100 |
wenzelm |
File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output;
|
file |
diff |
annotate
|
Sat, 10 Oct 2015 16:21:34 +0200 |
wenzelm |
more explicit HTML.symbols;
|
file |
diff |
annotate
|
Fri, 09 Oct 2015 16:09:16 +0200 |
wenzelm |
more Present operations on Scala side;
|
file |
diff |
annotate
|
Wed, 15 Apr 2015 19:08:37 +0200 |
wenzelm |
session graph with folded base theories, as in document preparation;
|
file |
diff |
annotate
|
Mon, 26 Jan 2015 13:48:29 +0100 |
wenzelm |
prefer plain session_graph.pdf over GraphBrowser applet;
|
file |
diff |
annotate
|
Sun, 25 Jan 2015 22:11:06 +0100 |
wenzelm |
discontinued obsolete option "document_graph";
|
file |
diff |
annotate
|
Sun, 25 Jan 2015 21:46:21 +0100 |
wenzelm |
provide session_graph.pdf via Isabelle/Scala;
|
file |
diff |
annotate
|
Sat, 03 Jan 2015 15:45:01 +0100 |
wenzelm |
more uniform support for graph display in ML/Scala;
|
file |
diff |
annotate
|
Wed, 31 Dec 2014 20:42:45 +0100 |
wenzelm |
clarified Graph_Display.graph etc.: sort_graph determines order from structure (and names);
|
file |
diff |
annotate
|
Wed, 31 Dec 2014 14:28:04 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 31 Dec 2014 14:15:52 +0100 |
wenzelm |
for graph display, prefer graph data structure over list with dependencies;
|
file |
diff |
annotate
|
Wed, 31 Dec 2014 14:13:11 +0100 |
wenzelm |
more explict and generic field names
|
file |
diff |
annotate
|
Mon, 22 Dec 2014 14:35:42 +0100 |
wenzelm |
proper Synchronized.var;
|
file |
diff |
annotate
|
Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 16:09:35 +0100 |
wenzelm |
more flexibile \setisabellecontext, independently of header;
|
file |
diff |
annotate
|
Sun, 10 Aug 2014 15:59:12 +0200 |
wenzelm |
insist in proper 'document_files';
|
file |
diff |
annotate
|
Tue, 29 Apr 2014 15:42:19 +0200 |
wenzelm |
require explicit 'document_files';
|
file |
diff |
annotate
|
Thu, 17 Apr 2014 11:42:36 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 17 Apr 2014 11:29:15 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 11 Apr 2014 11:52:28 +0200 |
wenzelm |
explicit 'document_files' in session ROOT specifications;
|
file |
diff |
annotate
|
Thu, 10 Apr 2014 18:29:32 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 10 Apr 2014 18:13:44 +0200 |
wenzelm |
removed obsolete doc_dump option (see also 892061142ba6);
|
file |
diff |
annotate
|
Fri, 06 Dec 2013 22:10:45 +0100 |
wenzelm |
clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
|
file |
diff |
annotate
|
Sat, 16 Nov 2013 22:17:45 +0100 |
wenzelm |
prefer explicit "document" flag -- eliminated stateful Present.no_document;
|
file |
diff |
annotate
|
Sat, 16 Nov 2013 21:18:31 +0100 |
wenzelm |
simplified HTML theory presentation;
|
file |
diff |
annotate
|
Sat, 16 Nov 2013 20:20:09 +0100 |
wenzelm |
removed remains of HTML presentation of auxiliary files -- inactive since Isabelle2013;
|
file |
diff |
annotate
|
Fri, 23 Aug 2013 20:35:50 +0200 |
wenzelm |
added Theory.setup convenience;
|
file |
diff |
annotate
|
Sat, 27 Jul 2013 21:43:12 +0200 |
wenzelm |
discontinued ISABELLE_DOC_FORMAT;
|
file |
diff |
annotate
|
Sun, 07 Jul 2013 18:50:16 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 07 Jul 2013 18:34:29 +0200 |
wenzelm |
discontinued command 'print_drafts';
|
file |
diff |
annotate
|
Thu, 28 Mar 2013 14:01:56 +0100 |
wenzelm |
proper default browser info for interactive mode, notably thy_deps;
|
file |
diff |
annotate
|
Wed, 13 Mar 2013 16:57:05 +0100 |
wenzelm |
include only README.html, not historic README, which tends towards surprises like src/HOL/SPARK/Examples/README;
|
file |
diff |
annotate
|
Wed, 13 Mar 2013 14:57:16 +0100 |
wenzelm |
show expanded path, to avoid odd /foo/bar/$ISABELLE_BROWSER_INFO/baz;
|
file |
diff |
annotate
|
Tue, 12 Mar 2013 18:44:48 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 12 Mar 2013 18:30:28 +0100 |
wenzelm |
more accurate theory links;
|
file |
diff |
annotate
|
Tue, 12 Mar 2013 16:47:24 +0100 |
wenzelm |
discontinued "isabelle usedir" option -r (reset session path);
|
file |
diff |
annotate
|
Mon, 11 Mar 2013 14:25:14 +0100 |
wenzelm |
discontinued "isabelle usedir" option -P (remote path);
|
file |
diff |
annotate
|
Wed, 27 Feb 2013 12:45:19 +0100 |
wenzelm |
discontinued obsolete 'uses' within theory header;
|
file |
diff |
annotate
|
Thu, 03 Jan 2013 20:42:18 +0100 |
wenzelm |
maintain session index on Scala side, for more determistic results;
|
file |
diff |
annotate
|
Sun, 18 Nov 2012 19:01:30 +0100 |
wenzelm |
isabelle build no longer supports document_dump/document_dump_mode (no INCOMPATIBILITY, since it was never in official release);
|
file |
diff |
annotate
|
Tue, 25 Sep 2012 20:28:47 +0200 |
wenzelm |
ML support for generic graph display, with browser and graphview backends (via print modes);
|
file |
diff |
annotate
|
Tue, 25 Sep 2012 15:40:41 +0200 |
wenzelm |
separate module Graph_Display;
|
file |
diff |
annotate
|
Mon, 27 Aug 2012 16:07:48 +0200 |
wenzelm |
clarified document directories: browser_info as backdrop vs. optional output directory in the foreground;
|
file |
diff |
annotate
|
Mon, 27 Aug 2012 14:34:54 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 14 Aug 2012 15:42:58 +0200 |
wenzelm |
explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
|
file |
diff |
annotate
|
Tue, 14 Aug 2012 13:40:49 +0200 |
wenzelm |
more direct interpretation of document_variants for build (unchanged for usedir);
|
file |
diff |
annotate
|
Fri, 27 Jul 2012 13:01:19 +0200 |
wenzelm |
prefer explicit datatype Present.dump_mode;
|
file |
diff |
annotate
|
Thu, 26 Jul 2012 14:29:54 +0200 |
wenzelm |
refined "document_dump_mode": "all", "tex+sty", "tex";
|
file |
diff |
annotate
|
Mon, 23 Jul 2012 15:05:05 +0200 |
wenzelm |
pass ISABELLE_BROWSER_INFO as explicit argument;
|
file |
diff |
annotate
|
Mon, 19 Sep 2011 14:31:20 +0200 |
wenzelm |
unique file names via serial numbers, to allow files like "root" or multiple files with same base name;
|
file |
diff |
annotate
|
Tue, 23 Aug 2011 16:53:05 +0200 |
wenzelm |
tuned signature -- contrast physical output primitives versus Output.raw_message;
|
file |
diff |
annotate
|
Sat, 16 Jul 2011 20:52:41 +0200 |
wenzelm |
moved bash operations to Isabelle_System (cf. Scala version);
|
file |
diff |
annotate
|
Fri, 08 Jul 2011 21:44:47 +0200 |
wenzelm |
moved Outer_Syntax.load_thy to Thy_Load.load_thy;
|
file |
diff |
annotate
|
Sat, 18 Jun 2011 15:11:33 +0200 |
wenzelm |
proper place for config files;
|
file |
diff |
annotate
|
Sat, 26 Mar 2011 18:31:39 +0100 |
wenzelm |
Isabelle_System.create_tmp_path/with_tmp_file: optional extension;
|
file |
diff |
annotate
|
Sat, 26 Mar 2011 19:16:30 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 20 Mar 2011 20:20:41 +0100 |
wenzelm |
eliminated dead code;
|
file |
diff |
annotate
|
Sun, 20 Mar 2011 20:05:43 +0100 |
wenzelm |
parallel preparation of document variants, within separate directories;
|
file |
diff |
annotate
|
Sun, 20 Mar 2011 19:47:26 +0100 |
wenzelm |
Present.init/finish/no_document are not thread-safe -- eliminated futile CRITICAL sections;
|
file |
diff |
annotate
|
Sun, 20 Mar 2011 19:34:18 +0100 |
wenzelm |
eliminated redundant doc_prefix1;
|
file |
diff |
annotate
|
Sun, 20 Mar 2011 19:10:09 +0100 |
wenzelm |
renamed doc_prefix2 to dump_prefix;
|
file |
diff |
annotate
|
Sun, 20 Mar 2011 18:56:36 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 20 Mar 2011 18:09:32 +0100 |
wenzelm |
tuned terminology for document variants;
|
file |
diff |
annotate
|
Sun, 20 Mar 2011 17:40:45 +0100 |
wenzelm |
replaced File.check by specific File.check_file, File.check_dir;
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 16:01:00 +0100 |
wenzelm |
Path.print is the official way to show file-system paths to users -- note that Path.implode often indicates violation of the abstract datatype;
|
file |
diff |
annotate
|
Thu, 03 Mar 2011 18:10:28 +0100 |
wenzelm |
discontinued legacy load path;
|
file |
diff |
annotate
|
Fri, 03 Dec 2010 20:02:57 +0100 |
wenzelm |
comment;
|
file |
diff |
annotate
|
Sat, 27 Nov 2010 15:28:00 +0100 |
wenzelm |
more explicit Isabelle_System operations;
|
file |
diff |
annotate
|
Mon, 27 Sep 2010 20:26:10 +0200 |
wenzelm |
renamed raw output primitives to emphasize their meaning -- not to be used in user-space;
|
file |
diff |
annotate
|
Wed, 22 Sep 2010 18:21:48 +0200 |
wenzelm |
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
|
file |
diff |
annotate
|
Tue, 03 Aug 2010 15:53:36 +0200 |
wenzelm |
simplified/clarified Thy_Load path: search for master only, lookup other files relative to that;
|
file |
diff |
annotate
|
Thu, 22 Jul 2010 22:39:31 +0200 |
wenzelm |
generic external source files -- nothing special about ML here;
|
file |
diff |
annotate
|
Thu, 22 Jul 2010 22:31:20 +0200 |
wenzelm |
discontinued special treatment of ML files -- no longer complete extensions on demand;
|
file |
diff |
annotate
|
Mon, 31 May 2010 21:06:57 +0200 |
wenzelm |
modernized some structure names, keeping a few legacy aliases;
|
file |
diff |
annotate
|
Fri, 05 Mar 2010 21:29:55 +0100 |
wenzelm |
finish browser_info: invoke isabelle browser -b to ensure that the jar really exists;
|
file |
diff |
annotate
|
Sat, 06 Feb 2010 14:50:55 +0100 |
wenzelm |
renamed system/system_out to bash/bash_output -- to emphasized that this is really GNU bash, not some undefined POSIX sh;
|
file |
diff |
annotate
|
Wed, 25 Nov 2009 09:13:46 +0100 |
haftmann |
normalized uncurry take/drop
|
file |
diff |
annotate
|
Tue, 24 Nov 2009 17:28:25 +0100 |
haftmann |
curried take/drop
|
file |
diff |
annotate
|
Sat, 14 Nov 2009 17:49:29 +0100 |
wenzelm |
isabelle_document: more explicit error output, notably for drafts;
|
file |
diff |
annotate
|
Sun, 08 Nov 2009 18:43:42 +0100 |
wenzelm |
adapted Theory_Data;
|
file |
diff |
annotate
|