| Sun, 22 Jul 2007 21:20:55 +0200 | wenzelm | added simultaneous use_thys; | file | diff | annotate |
| Sun, 22 Jul 2007 13:53:52 +0200 | wenzelm | begin_theory: simplified interface, keep thy info empty until end_theory; | file | diff | annotate |
| Sat, 21 Jul 2007 17:40:40 +0200 | wenzelm | deps: maintain source specification of parents (prevents repeated ThyLoad.deps_thy); | file | diff | annotate |
| Fri, 20 Jul 2007 17:54:17 +0200 | wenzelm | simplified ThyLoad interfaces: only one additional directory; | file | diff | annotate |
| Thu, 19 Jul 2007 23:18:58 +0200 | wenzelm | removed obsolete use/update_thy_only; | file | diff | annotate |
| Tue, 30 Jan 2007 13:16:58 +0100 | aspinall | Add get_succs | file | diff | annotate |
| Sun, 21 Jan 2007 16:46:40 +0100 | wenzelm | *** MESSAGE REFERS TO PREVIOUS VERSION *** | file | diff | annotate |
| Sun, 21 Jan 2007 16:43:47 +0100 | wenzelm | tuned comments | file | diff | annotate |
| Sat, 20 Jan 2007 14:09:22 +0100 | wenzelm | added @{theory}; | file | diff | annotate |
| Fri, 19 Jan 2007 22:08:02 +0100 | wenzelm | moved ML context stuff to from Context to ML_Context; | file | diff | annotate |
| Fri, 19 Jan 2007 13:09:33 +0100 | wenzelm | adapted ML context operations; | 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 |
| Tue, 02 May 2006 20:42:43 +0200 | wenzelm | added the_theory; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Wed, 26 Apr 2006 22:38:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 21 Mar 2006 12:18:15 +0100 | wenzelm | avoid polymorphic equality; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:26 +0100 | wenzelm | use/use_thy: Output.toplevel_errors; | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:06 +0100 | wenzelm | sane ERROR handling; | file | diff | annotate |
| Tue, 04 Oct 2005 19:01:37 +0200 | wenzelm | minor tweaks for Poplog/ML; | file | diff | annotate |
| Tue, 13 Sep 2005 22:19:50 +0200 | wenzelm | begin_theory: tuned interface, check uses; | file | diff | annotate |
| Wed, 31 Aug 2005 09:37:12 +0200 | haftmann | introduced AList.* | file | diff | annotate |
| Mon, 20 Jun 2005 22:14:19 +0200 | wenzelm | Theory.begin/end_theory; | file | diff | annotate |
| Fri, 17 Jun 2005 18:33:39 +0200 | wenzelm | removed obsolete theory_of_sign, theory_of_thm; | file | diff | annotate |
| Mon, 23 May 2005 14:56:37 +0200 | wenzelm | tuned pretty_sg; | file | diff | annotate |
| Thu, 21 Apr 2005 22:02:06 +0200 | wenzelm | superceded by Pure.thy and CPure.thy; | file | diff | annotate |
| Sat, 26 Mar 2005 18:20:29 +0100 | paulson | new display of theory stamps | 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:33:55 +0200 | berghofe | Fixed several bugs related to path specifications in theory names. | file | diff | annotate |
| Mon, 19 Jul 2004 18:21:26 +0200 | berghofe | Some changes to allow qualified theory import. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Sat, 29 May 2004 15:01:36 +0200 | wenzelm | Output.timing; | file | diff | annotate |
| Fri, 21 May 2004 21:18:48 +0200 | wenzelm | Graph.minimals; | file | diff | annotate |
| Sun, 17 Sep 2000 22:22:11 +0200 | wenzelm | begin_theory: removed message; | file | diff | annotate |
| Wed, 13 Sep 2000 22:32:15 +0200 | wenzelm | begin_theory: priority message to gain some robustness in sync communication; | file | diff | annotate |
| Sun, 03 Sep 2000 20:04:43 +0200 | wenzelm | added pretend_use_thy_only; | file | diff | annotate |
| Fri, 01 Sep 2000 00:34:07 +0200 | wenzelm | replaced writeln by priority; | file | diff | annotate |
| Tue, 01 Aug 2000 13:43:22 +0200 | wenzelm | tuned msg; | file | diff | annotate |
| Thu, 27 Jul 2000 18:25:01 +0200 | wenzelm | begin_theory: store *copy* of initial theory; | file | diff | annotate |
| Sun, 23 Jul 2000 12:10:41 +0200 | wenzelm | get_names: topologically sorted; | file | diff | annotate |
| Thu, 13 Jul 2000 23:26:08 +0200 | wenzelm | tuned cycle_msg; | file | diff | annotate |
| Thu, 13 Jul 2000 23:20:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 25 Jun 2000 23:56:16 +0200 | wenzelm | use Library.change; | file | diff | annotate |
| Sun, 04 Jun 2000 21:54:58 +0200 | wenzelm | do not setmp Library.timing; | file | diff | annotate |
| Tue, 30 May 2000 16:03:09 +0200 | wenzelm | global timing flag; | file | diff | annotate |
| Fri, 05 May 2000 22:00:17 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Wed, 27 Oct 1999 17:25:36 +0200 | wenzelm | quiet_update_thy: ml flag; | file | diff | annotate |
| Tue, 26 Oct 1999 22:37:34 +0200 | wenzelm | improved ml handling; | file | diff | annotate |
| Tue, 26 Oct 1999 19:04:55 +0200 | wenzelm | added check_known_thy, if_known_thy; | file | diff | annotate |
| Thu, 21 Oct 1999 19:00:01 +0200 | wenzelm | added known_thy; | file | diff | annotate |
| Wed, 20 Oct 1999 15:50:51 +0200 | wenzelm | remove_thy: warn unknown theory (rather than error); | file | diff | annotate |
| Mon, 04 Oct 1999 12:22:14 +0200 | wenzelm | fixed lookup_theory; | file | diff | annotate |
| Thu, 23 Sep 1999 18:42:28 +0200 | wenzelm | improved cycle error; | file | diff | annotate |
| Thu, 19 Aug 1999 16:33:36 +0200 | wenzelm | lookup_theory; | file | diff | annotate |
| Wed, 18 Aug 1999 20:42:09 +0200 | wenzelm | deps: include 'really' flag; | file | diff | annotate |
| Tue, 17 Aug 1999 22:22:36 +0200 | wenzelm | may_load_file; | file | diff | annotate |
| Mon, 16 Aug 1999 22:04:07 +0200 | wenzelm | tuned msg; | file | diff | annotate |
| Mon, 16 Aug 1999 16:44:24 +0200 | wenzelm | fixed thy_only; | file | diff | annotate |
| Fri, 06 Aug 1999 22:32:27 +0200 | wenzelm | added pretend_use; | file | diff | annotate |