src/Pure/Thy/thy_info.ML
Wed, 26 Mar 2008 22:40:07 +0100 wenzelm adapted to Context.thread_data interface;
Sun, 27 Jan 2008 22:21:37 +0100 wenzelm use_thy: do not set implicit ML context anymore;
Wed, 02 Jan 2008 16:32:53 +0100 wenzelm added Multithreading.max_threads_value, which maps a value of 0 to number of CPUs;
Thu, 20 Dec 2007 21:12:03 +0100 wenzelm scheduling/next_task: PrintMode.closure;
Sun, 14 Oct 2007 16:13:46 +0200 wenzelm require_thy: read_text *after* checking parents
Fri, 12 Oct 2007 21:37:00 +0200 wenzelm added generic provide_file;
Mon, 24 Sep 2007 21:07:41 +0200 wenzelm added @{theory_ref};
Sat, 08 Sep 2007 19:58:39 +0200 wenzelm export is_finished;
Fri, 17 Aug 2007 23:10:46 +0200 wenzelm removed obsolete touch_all_thys;
Fri, 17 Aug 2007 17:49:33 +0200 wenzelm check_deps: ensure that theory is actually present, not just update_time > 1;
Sun, 12 Aug 2007 14:14:24 +0200 wenzelm made SML/NJ happy;
Sat, 11 Aug 2007 17:50:23 +0200 wenzelm schedule_tasks: alphabetical order for equivalent tasks;
Thu, 09 Aug 2007 23:53:51 +0200 wenzelm schedule: misc cleanup, more precise task model;
Wed, 08 Aug 2007 23:07:50 +0200 wenzelm discontinued attached ML files;
Wed, 08 Aug 2007 20:48:08 +0200 wenzelm check_deps: really do reload the master text if required;
Tue, 07 Aug 2007 20:19:51 +0200 wenzelm theory loader: removed obsolete update_thy (coincides with use_thy);
Fri, 03 Aug 2007 22:33:10 +0200 wenzelm replaced outdated flag by update_time (multithreading-safe presentation order);
Thu, 02 Aug 2007 21:45:07 +0200 wenzelm added int type constraints to accomodate hacked SML/NJ;
Tue, 31 Jul 2007 19:40:28 +0200 wenzelm register_thy: more sanity checks;
Tue, 31 Jul 2007 00:56:34 +0200 wenzelm added register_thy (replaces pretend_use_thy_only and really flag);
Mon, 30 Jul 2007 11:12:28 +0200 wenzelm marked some CRITICAL sections;
Sun, 29 Jul 2007 22:42:02 +0200 wenzelm deps: keep thy source text, avoid reloading;
Sun, 29 Jul 2007 16:00:06 +0200 wenzelm removed obsolete Output.ML_errors/toplevel_errors;
Wed, 25 Jul 2007 17:05:50 +0200 wenzelm require_thy/schedule: improved task graph, actually observe dependencies on running tasks;
Tue, 24 Jul 2007 22:53:49 +0200 wenzelm require_thy: tuned tasks graph, removed visited;
Tue, 24 Jul 2007 19:44:39 +0200 wenzelm require_thy: explicit tasks graph;
Mon, 23 Jul 2007 19:45:46 +0200 wenzelm marked some CRITICAL sections;
Sun, 22 Jul 2007 21:20:55 +0200 wenzelm added simultaneous use_thys;
Sun, 22 Jul 2007 13:53:52 +0200 wenzelm begin_theory: simplified interface, keep thy info empty until end_theory;
Sat, 21 Jul 2007 17:40:40 +0200 wenzelm deps: maintain source specification of parents (prevents repeated ThyLoad.deps_thy);
Fri, 20 Jul 2007 17:54:17 +0200 wenzelm simplified ThyLoad interfaces: only one additional directory;
Thu, 19 Jul 2007 23:18:58 +0200 wenzelm removed obsolete use/update_thy_only;
Tue, 30 Jan 2007 13:16:58 +0100 aspinall Add get_succs
Sun, 21 Jan 2007 16:46:40 +0100 wenzelm *** MESSAGE REFERS TO PREVIOUS VERSION ***
Sun, 21 Jan 2007 16:43:47 +0100 wenzelm tuned comments
Sat, 20 Jan 2007 14:09:22 +0100 wenzelm added @{theory};
Fri, 19 Jan 2007 22:08:02 +0100 wenzelm moved ML context stuff to from Context to ML_Context;
Fri, 19 Jan 2007 13:09:33 +0100 wenzelm adapted ML context operations;
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 =);
Tue, 02 May 2006 20:42:43 +0200 wenzelm added the_theory;
Thu, 27 Apr 2006 15:06:35 +0200 wenzelm tuned basic list operators (flat, maps, map_filter);
Wed, 26 Apr 2006 22:38:05 +0200 wenzelm tuned;
Tue, 21 Mar 2006 12:18:15 +0100 wenzelm avoid polymorphic equality;
Thu, 19 Jan 2006 21:22:26 +0100 wenzelm use/use_thy: Output.toplevel_errors;
Sat, 14 Jan 2006 17:14:06 +0100 wenzelm sane ERROR handling;
Tue, 04 Oct 2005 19:01:37 +0200 wenzelm minor tweaks for Poplog/ML;
Tue, 13 Sep 2005 22:19:50 +0200 wenzelm begin_theory: tuned interface, check uses;
Wed, 31 Aug 2005 09:37:12 +0200 haftmann introduced AList.*
Mon, 20 Jun 2005 22:14:19 +0200 wenzelm Theory.begin/end_theory;
Fri, 17 Jun 2005 18:33:39 +0200 wenzelm removed obsolete theory_of_sign, theory_of_thm;
Mon, 23 May 2005 14:56:37 +0200 wenzelm tuned pretty_sg;
Thu, 21 Apr 2005 22:02:06 +0200 wenzelm superceded by Pure.thy and CPure.thy;
Sat, 26 Mar 2005 18:20:29 +0100 paulson new display of theory stamps
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Mon, 23 Aug 2004 18:33:55 +0200 berghofe Fixed several bugs related to path specifications in theory names.
Mon, 19 Jul 2004 18:21:26 +0200 berghofe Some changes to allow qualified theory import.
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Sat, 29 May 2004 15:01:36 +0200 wenzelm Output.timing;
less more (0) -100 -60 tip