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
|
Mon, 23 Aug 2004 18:35:11 +0200 |
berghofe |
begin_theory now takes optional path (current directory) as argument.
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Sun, 20 Jun 2004 09:26:29 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 18 Jun 2004 20:07:31 +0200 |
wenzelm |
isatool_document: verbose option;
|
file |
diff |
annotate
|
Wed, 16 Jun 2004 20:42:22 +0200 |
wenzelm |
isatool_document: writeln output;
|
file |
diff |
annotate
|
Sun, 13 Jun 2004 15:30:58 +0200 |
wenzelm |
tuned Present.drafts;
|
file |
diff |
annotate
|
Sat, 12 Jun 2004 22:45:18 +0200 |
wenzelm |
added Present.drafts;
|
file |
diff |
annotate
|
Wed, 09 Jun 2004 18:52:42 +0200 |
wenzelm |
Url.File;
|
file |
diff |
annotate
|
Fri, 16 Apr 2004 18:45:56 +0200 |
berghofe |
Replaced quote by Library.quote, since quote now refers to Symbol.quote
|
file |
diff |
annotate
|
Mon, 12 Apr 2004 23:52:15 +0200 |
kleing |
use css
|
file |
diff |
annotate
|
Tue, 27 Aug 2002 11:07:01 +0200 |
wenzelm |
simplified results;
|
file |
diff |
annotate
|
Sat, 16 Feb 2002 21:26:19 +0100 |
kleing |
fixed copy_all
|
file |
diff |
annotate
|
Fri, 15 Feb 2002 20:43:09 +0100 |
wenzelm |
clarified copy_all;
|
file |
diff |
annotate
|
Thu, 24 Jan 2002 22:44:10 +0100 |
wenzelm |
copy_files *.sty;
|
file |
diff |
annotate
|
Fri, 04 Jan 2002 19:28:57 +0100 |
wenzelm |
isatool document: stderr to stdout;
|
file |
diff |
annotate
|
Wed, 28 Nov 2001 00:46:26 +0100 |
wenzelm |
theory data: removed obsolete finish method;
|
file |
diff |
annotate
|
Sun, 11 Nov 2001 21:38:54 +0100 |
wenzelm |
present multi_result;
|
file |
diff |
annotate
|
Fri, 09 Nov 2001 00:19:20 +0100 |
wenzelm |
theory data: finish method;
|
file |
diff |
annotate
|
Tue, 23 Oct 2001 22:54:01 +0200 |
wenzelm |
build option enables most basic browser info (for proper recording of session);
|
file |
diff |
annotate
|
Sat, 20 Oct 2001 20:23:37 +0200 |
wenzelm |
graceful interpretation of -i/-d/-D options;
|
file |
diff |
annotate
|
Thu, 27 Sep 2001 12:24:19 +0200 |
wenzelm |
verbose option;
|
file |
diff |
annotate
|
Sun, 04 Feb 2001 19:44:09 +0100 |
wenzelm |
added no_document
|
file |
diff |
annotate
|
Mon, 11 Sep 2000 17:37:50 +0200 |
wenzelm |
support \isabellecontext;
|
file |
diff |
annotate
|
Fri, 01 Sep 2000 19:49:04 +0200 |
wenzelm |
copy_files: do not quote paths (for now);
|
file |
diff |
annotate
|
Fri, 01 Sep 2000 17:45:07 +0200 |
wenzelm |
isatool_document: quote args;
|
file |
diff |
annotate
|