| 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 |
| Tue, 27 Jul 1999 21:55:19 +0200 | wenzelm | added update_thy_only; | file | diff | annotate |
| Fri, 23 Jul 1999 16:50:20 +0200 | wenzelm | require_thy: fixed performance leak; | file | diff | annotate |
| Tue, 06 Jul 1999 21:03:34 +0200 | wenzelm | begin_theory: disallow finished; | file | diff | annotate |
| Mon, 17 May 1999 21:36:11 +0200 | wenzelm | cleaned comments; | file | diff | annotate |
| Mon, 17 May 1999 17:07:54 +0200 | berghofe | Added function get_preds. | file | diff | annotate |
| Tue, 27 Apr 1999 15:12:34 +0200 | wenzelm | use_thy_only made pervasive; | file | diff | annotate |
| Thu, 22 Apr 1999 18:18:47 +0200 | wenzelm | improved auto dir handling; | file | diff | annotate |
| Thu, 22 Apr 1999 13:28:11 +0200 | wenzelm | use_thy etc.: may specify path prefix, which is temporarily used as load path; | file | diff | annotate |
| Wed, 17 Mar 1999 16:32:38 +0100 | wenzelm | fixed msg; | file | diff | annotate |
| Wed, 17 Mar 1999 13:41:50 +0100 | wenzelm | tuned msgs; | file | diff | annotate |
| Fri, 12 Mar 1999 18:48:51 +0100 | wenzelm | removed obsolete user data stuff; | file | diff | annotate |
| Tue, 09 Mar 1999 12:18:46 +0100 | wenzelm | added use_path; | file | diff | annotate |
| Mon, 08 Feb 1999 17:32:24 +0100 | wenzelm | tuned msgs; | file | diff | annotate |
| Fri, 05 Feb 1999 21:01:53 +0100 | wenzelm | time_use made pervasive; | file | diff | annotate |
| Thu, 04 Feb 1999 18:18:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 03 Feb 1999 20:25:53 +0100 | wenzelm | check_thy: include ML stamp; | file | diff | annotate |
| Wed, 03 Feb 1999 17:29:48 +0100 | wenzelm | Theory loader database: theory and file dependencies, theory values | file | diff | annotate |
| Wed, 29 Jul 1998 15:38:08 +0200 | wenzelm | late setup of Pure and CPure; | file | diff | annotate |
| Tue, 28 Jul 1998 17:03:12 +0200 | wenzelm | theory_of renamed to theory (and made public); | file | diff | annotate |
| Thu, 28 May 1998 11:09:07 +0200 | wenzelm | tuned error msg; | file | diff | annotate |
| Mon, 25 May 1998 21:25:04 +0200 | wenzelm | tuned store_theory: theory -> unit; | file | diff | annotate |
| Tue, 04 Nov 1997 12:03:48 +0100 | wenzelm | removed old thy data stuff; | file | diff | annotate |
| Fri, 24 Oct 1997 17:18:25 +0200 | wenzelm | ProtoPure.thy etc.; | file | diff | annotate |
| Thu, 23 Oct 1997 12:43:07 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 06 Aug 1997 00:26:19 +0200 | berghofe | Moved functions for theory information storage / retrieval | file | diff | annotate |