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
|