src/Pure/Thy/present.ML
Sat, 18 Jun 2011 15:11:33 +0200 wenzelm proper place for config files;
Sat, 26 Mar 2011 18:31:39 +0100 wenzelm Isabelle_System.create_tmp_path/with_tmp_file: optional extension;
Sat, 26 Mar 2011 19:16:30 +0100 wenzelm tuned;
Sun, 20 Mar 2011 20:20:41 +0100 wenzelm eliminated dead code;
Sun, 20 Mar 2011 20:05:43 +0100 wenzelm parallel preparation of document variants, within separate directories;
Sun, 20 Mar 2011 19:47:26 +0100 wenzelm Present.init/finish/no_document are not thread-safe -- eliminated futile CRITICAL sections;
Sun, 20 Mar 2011 19:34:18 +0100 wenzelm eliminated redundant doc_prefix1;
Sun, 20 Mar 2011 19:10:09 +0100 wenzelm renamed doc_prefix2 to dump_prefix;
Sun, 20 Mar 2011 18:56:36 +0100 wenzelm tuned;
Sun, 20 Mar 2011 18:09:32 +0100 wenzelm tuned terminology for document variants;
Sun, 20 Mar 2011 17:40:45 +0100 wenzelm replaced File.check by specific File.check_file, File.check_dir;
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;
Thu, 03 Mar 2011 18:10:28 +0100 wenzelm discontinued legacy load path;
Fri, 03 Dec 2010 20:02:57 +0100 wenzelm comment;
Sat, 27 Nov 2010 15:28:00 +0100 wenzelm more explicit Isabelle_System operations;
Mon, 27 Sep 2010 20:26:10 +0200 wenzelm renamed raw output primitives to emphasize their meaning -- not to be used in user-space;
Wed, 22 Sep 2010 18:21:48 +0200 wenzelm renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
Tue, 03 Aug 2010 15:53:36 +0200 wenzelm simplified/clarified Thy_Load path: search for master only, lookup other files relative to that;
Thu, 22 Jul 2010 22:39:31 +0200 wenzelm generic external source files -- nothing special about ML here;
Thu, 22 Jul 2010 22:31:20 +0200 wenzelm discontinued special treatment of ML files -- no longer complete extensions on demand;
Mon, 31 May 2010 21:06:57 +0200 wenzelm modernized some structure names, keeping a few legacy aliases;
Fri, 05 Mar 2010 21:29:55 +0100 wenzelm finish browser_info: invoke isabelle browser -b to ensure that the jar really exists;
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;
Wed, 25 Nov 2009 09:13:46 +0100 haftmann normalized uncurry take/drop
Tue, 24 Nov 2009 17:28:25 +0100 haftmann curried take/drop
Sat, 14 Nov 2009 17:49:29 +0100 wenzelm isabelle_document: more explicit error output, notably for drafts;
Sun, 08 Nov 2009 18:43:42 +0100 wenzelm adapted Theory_Data;
Tue, 29 Sep 2009 11:49:22 +0200 wenzelm explicit indication of Unsynchronized.ref;
Sat, 27 Jun 2009 17:35:08 +0200 wenzelm tune File.isabelle_tool signature;
Wed, 21 Jan 2009 23:21:44 +0100 wenzelm removed Ids;
Thu, 15 Jan 2009 14:52:26 +0100 haftmann fixed error message spacing
Tue, 18 Nov 2008 18:25:45 +0100 wenzelm tuned;
Sat, 04 Oct 2008 16:05:09 +0200 wenzelm replaced ISATOOL by ISABELLE_TOOL;
Sat, 04 Oct 2008 14:29:43 +0200 wenzelm renamed isatool to isabelle_tool in programming interfaces;
Fri, 26 Sep 2008 19:07:56 +0200 wenzelm eliminated polymorphic equality;
Wed, 27 Aug 2008 20:36:26 +0200 wenzelm renamed Buffer.write to File.write_buffer;
Wed, 13 Aug 2008 20:57:39 +0200 wenzelm removed obsolete verbatim_source, results, chapter, section etc.;
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!
Mon, 23 Jun 2008 20:00:58 +0200 wenzelm session name: empty for Pure and by default;
Mon, 23 Jun 2008 16:01:03 +0200 wenzelm info: default name is "", not "Pure";
Sun, 18 May 2008 17:03:20 +0200 wenzelm eliminated theory CPure;
Thu, 27 Mar 2008 14:41:21 +0100 wenzelm eliminated theory ProtoPure;
Tue, 18 Mar 2008 23:25:06 +0100 wenzelm theory loader: discontinued *attached* ML scripts;
Thu, 04 Oct 2007 14:42:11 +0200 wenzelm avoid gensym;
Sat, 08 Sep 2007 19:58:37 +0200 wenzelm tuned signature;
Fri, 03 Aug 2007 22:33:09 +0200 wenzelm sort indexes according to symbolic update_time (multithreading-safe);
Tue, 31 Jul 2007 21:19:24 +0200 wenzelm no_document: setmp_noncritical;
Mon, 23 Jul 2007 20:47:56 +0200 wenzelm marked some CRITICAL sections;
Sun, 22 Jul 2007 13:53:51 +0200 wenzelm clarified init/begin_theory: no longer depend on thy_info.ML;
Fri, 20 Jul 2007 17:54:15 +0200 wenzelm simplified ThyLoad interfaces: only one additional directory;
Thu, 19 Jul 2007 23:18:56 +0200 wenzelm adapted ThyLoad.check_file etc.;
Mon, 07 May 2007 00:49:59 +0200 wenzelm simplified DataFun interfaces;
Wed, 04 Apr 2007 00:11:10 +0200 wenzelm cleaned-up Output functions;
Fri, 19 Jan 2007 22:08:32 +0100 wenzelm moved ML context stuff to from Context to ML_Context;
Sat, 30 Dec 2006 16:08:00 +0100 wenzelm removed conditional combinator;
Fri, 15 Dec 2006 00:08:06 +0100 wenzelm avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
Thu, 21 Sep 2006 19:04:20 +0200 wenzelm member (op =);
Mon, 18 Sep 2006 19:12:49 +0200 wenzelm added display_graph (from thm_deps.ML);
Tue, 21 Mar 2006 12:18:15 +0100 wenzelm avoid polymorphic equality;
Wed, 15 Feb 2006 21:34:55 +0100 wenzelm removed distinct, renamed gen_distinct to distinct;
less more (0) -100 -60 tip