Mon, 20 Jun 2005 22:14:21 +0200 |
wenzelm |
* Pure: get_thm interface expects datatype thmref;
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 18:33:41 +0200 |
wenzelm |
* Pure/TheoryDataFun: change of the argument structure;
|
file |
diff |
annotate
|
Sat, 11 Jun 2005 22:15:58 +0200 |
wenzelm |
* Pure/sign/theory: discontinued named name spaces;
|
file |
diff |
annotate
|
Sun, 05 Jun 2005 11:31:14 +0200 |
wenzelm |
* ML: replaced File.sysify_path/quote_sysify_path by File.platform_path/shell_path;
|
file |
diff |
annotate
|
Sat, 04 Jun 2005 18:20:00 +0200 |
wenzelm |
major reorganization and cleanup;
|
file |
diff |
annotate
|
Thu, 02 Jun 2005 09:12:56 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 01 Jun 2005 12:30:49 +0200 |
ballarin |
Locales: new element constrains, parameter renaming with syntax,
|
file |
diff |
annotate
|
Tue, 31 May 2005 11:53:42 +0200 |
wenzelm |
ML Pure: name spaces have been refined;
|
file |
diff |
annotate
|
Mon, 30 May 2005 10:25:46 +0200 |
kleing |
typo
|
file |
diff |
annotate
|
Mon, 30 May 2005 10:23:15 +0200 |
kleing |
updated para on searching
|
file |
diff |
annotate
|
Fri, 27 May 2005 17:10:23 +0200 |
ballarin |
Typo.
|
file |
diff |
annotate
|
Fri, 27 May 2005 16:24:48 +0200 |
ballarin |
Locale expressions: rename with optional mixfix syntax.
|
file |
diff |
annotate
|
Mon, 23 May 2005 19:14:16 +0200 |
wenzelm |
* Pure/Syntax: In schematic variable names, *any* symbol following
|
file |
diff |
annotate
|
Mon, 23 May 2005 11:14:58 +0200 |
nipkow |
tuned trace info (depth)
|
file |
diff |
annotate
|
Sun, 22 May 2005 16:51:02 +0200 |
wenzelm |
removed find_rewrites (superceded by improved thms_containing);
|
file |
diff |
annotate
|