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
|
Tue, 29 Sep 2009 11:49:22 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
Sat, 27 Jun 2009 17:35:08 +0200 |
wenzelm |
tune File.isabelle_tool signature;
|
file |
diff |
annotate
|
Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
Thu, 15 Jan 2009 14:52:26 +0100 |
haftmann |
fixed error message spacing
|
file |
diff |
annotate
|
Tue, 18 Nov 2008 18:25:45 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 04 Oct 2008 16:05:09 +0200 |
wenzelm |
replaced ISATOOL by ISABELLE_TOOL;
|
file |
diff |
annotate
|
Sat, 04 Oct 2008 14:29:43 +0200 |
wenzelm |
renamed isatool to isabelle_tool in programming interfaces;
|
file |
diff |
annotate
|
Fri, 26 Sep 2008 19:07:56 +0200 |
wenzelm |
eliminated polymorphic equality;
|
file |
diff |
annotate
|
Wed, 27 Aug 2008 20:36:26 +0200 |
wenzelm |
renamed Buffer.write to File.write_buffer;
|
file |
diff |
annotate
|
Wed, 13 Aug 2008 20:57:39 +0200 |
wenzelm |
removed obsolete verbatim_source, results, chapter, section etc.;
|
file |
diff |
annotate
|
Tue, 08 Jul 2008 16:19:24 +0200 |
wenzelm |
begin_theory: files_html needs to be produced outside of prep_html_source to make ML files appear!
|
file |
diff |
annotate
|
Mon, 23 Jun 2008 20:00:58 +0200 |
wenzelm |
session name: empty for Pure and by default;
|
file |
diff |
annotate
|
Mon, 23 Jun 2008 16:01:03 +0200 |
wenzelm |
info: default name is "", not "Pure";
|
file |
diff |
annotate
|
Sun, 18 May 2008 17:03:20 +0200 |
wenzelm |
eliminated theory CPure;
|
file |
diff |
annotate
|
Thu, 27 Mar 2008 14:41:21 +0100 |
wenzelm |
eliminated theory ProtoPure;
|
file |
diff |
annotate
|
Tue, 18 Mar 2008 23:25:06 +0100 |
wenzelm |
theory loader: discontinued *attached* ML scripts;
|
file |
diff |
annotate
|
Thu, 04 Oct 2007 14:42:11 +0200 |
wenzelm |
avoid gensym;
|
file |
diff |
annotate
|
Sat, 08 Sep 2007 19:58:37 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 03 Aug 2007 22:33:09 +0200 |
wenzelm |
sort indexes according to symbolic update_time (multithreading-safe);
|
file |
diff |
annotate
|
Tue, 31 Jul 2007 21:19:24 +0200 |
wenzelm |
no_document: setmp_noncritical;
|
file |
diff |
annotate
|
Mon, 23 Jul 2007 20:47:56 +0200 |
wenzelm |
marked some CRITICAL sections;
|
file |
diff |
annotate
|
Sun, 22 Jul 2007 13:53:51 +0200 |
wenzelm |
clarified init/begin_theory: no longer depend on thy_info.ML;
|
file |
diff |
annotate
|
Fri, 20 Jul 2007 17:54:15 +0200 |
wenzelm |
simplified ThyLoad interfaces: only one additional directory;
|
file |
diff |
annotate
|
Thu, 19 Jul 2007 23:18:56 +0200 |
wenzelm |
adapted ThyLoad.check_file etc.;
|
file |
diff |
annotate
|
Mon, 07 May 2007 00:49:59 +0200 |
wenzelm |
simplified DataFun interfaces;
|
file |
diff |
annotate
|
Wed, 04 Apr 2007 00:11:10 +0200 |
wenzelm |
cleaned-up Output functions;
|
file |
diff |
annotate
|
Fri, 19 Jan 2007 22:08:32 +0100 |
wenzelm |
moved ML context stuff to from Context to ML_Context;
|
file |
diff |
annotate
|
Sat, 30 Dec 2006 16:08:00 +0100 |
wenzelm |
removed conditional combinator;
|
file |
diff |
annotate
|
Fri, 15 Dec 2006 00:08:06 +0100 |
wenzelm |
avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
|
file |
diff |
annotate
|
Thu, 21 Sep 2006 19:04:20 +0200 |
wenzelm |
member (op =);
|
file |
diff |
annotate
|
Mon, 18 Sep 2006 19:12:49 +0200 |
wenzelm |
added display_graph (from thm_deps.ML);
|
file |
diff |
annotate
|