| Thu, 11 Sep 2008 22:22:20 +0200 |
wenzelm |
finish: Future.shutdown last;
|
file |
diff |
annotate
|
| Thu, 11 Sep 2008 21:04:09 +0200 |
wenzelm |
finish: Future.shutdown;
|
file |
diff |
annotate
|
| Thu, 17 Jul 2008 20:15:15 +0200 |
wenzelm |
explicit Distribution.changelog;
|
file |
diff |
annotate
|
| Thu, 10 Apr 2008 14:53:28 +0200 |
wenzelm |
ThyInfo.get_theory;
|
file |
diff |
annotate
|
| Thu, 10 Apr 2008 13:24:17 +0200 |
wenzelm |
finish: removed unnecessary Isar.init;
|
file |
diff |
annotate
|
| Mon, 25 Feb 2008 19:38:48 +0100 |
wenzelm |
tuned msg;
|
file |
diff |
annotate
|
| Mon, 25 Feb 2008 17:57:44 +0100 |
wenzelm |
fixed ChangeLog.gz path;
|
file |
diff |
annotate
|
| Mon, 25 Feb 2008 17:27:41 +0100 |
wenzelm |
welcome: actually check for ChangeLog.gz;
|
file |
diff |
annotate
|
| Thu, 21 Feb 2008 21:31:52 +0100 |
wenzelm |
more elaborate structure Distribution (filled-in by makedist);
|
file |
diff |
annotate
|
| Sat, 05 Jan 2008 21:37:23 +0100 |
wenzelm |
export session id;
|
file |
diff |
annotate
|
| Tue, 18 Dec 2007 22:21:41 +0100 |
wenzelm |
removed obsolete use_noncritical (plain use is already non-critical);
|
file |
diff |
annotate
|
| Mon, 17 Sep 2007 16:36:41 +0200 |
wenzelm |
avoid direct access to print_mode;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2007 16:59:15 +0200 |
wenzelm |
multithreading trace: int;
|
file |
diff |
annotate
|
| Sun, 29 Jul 2007 19:46:02 +0200 |
wenzelm |
added option -T (multithreading trace mode);
|
file |
diff |
annotate
|
| Wed, 25 Jul 2007 17:05:47 +0200 |
wenzelm |
Secure.use_noncritical root;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2007 22:53:46 +0200 |
wenzelm |
added usedir option -M: max threads;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2007 16:45:04 +0200 |
wenzelm |
setmp_noncritical (assumes outermost control);
|
file |
diff |
annotate
|
| Sun, 22 Jul 2007 13:53:49 +0200 |
wenzelm |
clarified Present.init;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2006 12:33:27 +0100 |
wenzelm |
Toplevel.init_state;
|
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, 07 Feb 2006 19:56:45 +0100 |
wenzelm |
renamed gen_duplicates to duplicates;
|
file |
diff |
annotate
|
| Mon, 06 Feb 2006 11:01:28 +0100 |
haftmann |
subsituted gen_duplicates / has_duplicates for duplicates whenever appropriate
|
file |
diff |
annotate
|
| Sat, 14 Jan 2006 17:14:16 +0100 |
wenzelm |
Output.error_msg;
|
file |
diff |
annotate
|
| Wed, 31 Aug 2005 15:46:46 +0200 |
wenzelm |
use_dir: added copy-dump option;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2005 13:42:45 +0200 |
wenzelm |
use_dir: removed hidden, added doc_versions;
|
file |
diff |
annotate
|
| Wed, 06 Jul 2005 20:00:40 +0200 |
wenzelm |
finish: Output.accumulated_time;
|
file |
diff |
annotate
|
| Wed, 06 Jul 2005 10:41:49 +0200 |
wenzelm |
ThyInfo.time_use root;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 18:33:36 +0200 |
wenzelm |
Context.PureN;
|
file |
diff |
annotate
|
| Tue, 17 May 2005 18:10:31 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|