| Mon, 30 Jul 2007 11:12:28 +0200 |
wenzelm |
marked some CRITICAL sections;
|
file |
diff |
annotate
|
| Sun, 29 Jul 2007 22:42:02 +0200 |
wenzelm |
deps: keep thy source text, avoid reloading;
|
file |
diff |
annotate
|
| Sun, 29 Jul 2007 16:00:06 +0200 |
wenzelm |
removed obsolete Output.ML_errors/toplevel_errors;
|
file |
diff |
annotate
|
| Wed, 25 Jul 2007 17:05:50 +0200 |
wenzelm |
require_thy/schedule: improved task graph, actually observe dependencies on running tasks;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2007 22:53:49 +0200 |
wenzelm |
require_thy: tuned tasks graph, removed visited;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2007 19:44:39 +0200 |
wenzelm |
require_thy: explicit tasks graph;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2007 19:45:46 +0200 |
wenzelm |
marked some CRITICAL sections;
|
file |
diff |
annotate
|
| 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
|