| 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
|
| Tue, 21 Mar 2006 12:18:15 +0100 |
wenzelm |
avoid polymorphic equality;
|
file |
diff |
annotate
|
| Wed, 15 Feb 2006 21:34:55 +0100 |
wenzelm |
removed distinct, renamed gen_distinct to distinct;
|
file |
diff |
annotate
|
| Thu, 19 Jan 2006 21:22:08 +0100 |
wenzelm |
setup: theory -> theory;
|
file |
diff |
annotate
|
| Wed, 19 Oct 2005 21:52:47 +0200 |
wenzelm |
removed obsolete old_symbol_source;
|
file |
diff |
annotate
|
| Tue, 20 Sep 2005 08:21:49 +0200 |
haftmann |
slight adaptions to library changes
|
file |
diff |
annotate
|
| Thu, 15 Sep 2005 17:16:56 +0200 |
wenzelm |
TableFun/Symtab: curried lookup and update;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2005 18:48:50 +0200 |
wenzelm |
curried_lookup/update;
|
file |
diff |
annotate
|
| Wed, 31 Aug 2005 15:46:49 +0200 |
wenzelm |
added copy-dump option;
|
file |
diff |
annotate
|
| Sun, 28 Aug 2005 19:47:24 +0200 |
wenzelm |
isatool latex -o sty;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2005 13:42:53 +0200 |
wenzelm |
support for document versions;
|
file |
diff |
annotate
|
| Mon, 20 Jun 2005 22:14:18 +0200 |
wenzelm |
clarify empty vs. pure browser info;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 18:33:11 +0200 |
wenzelm |
accomodate change of TheoryDataFun;
|
file |
diff |
annotate
|
| Sun, 05 Jun 2005 11:31:26 +0200 |
wenzelm |
removed copy, copy_all (superceded by File.copy, File.copy_dir);
|
file |
diff |
annotate
|
| Thu, 21 Apr 2005 22:02:06 +0200 |
wenzelm |
superceded by Pure.thy and CPure.thy;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
| Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|