| Mon, 22 Jan 2007 16:51:29 +0100 |
aspinall |
Sync location with pgip.rnc, fixing attribute names
|
file |
diff |
annotate
|
| Tue, 09 Jan 2007 12:09:49 +0100 |
aspinall |
Add info fatality for error messages.
|
file |
diff |
annotate
|
| Thu, 04 Jan 2007 21:36:52 +0100 |
wenzelm |
approximate Syntax.read_int/nat by Int.fromString -- avoids dependency on Syntax module;
|
file |
diff |
annotate
|
| Thu, 04 Jan 2007 19:53:00 +0100 |
aspinall |
Be more chatty in PGIP file operations.proof_general_pgip.ML
|
file |
diff |
annotate
|
| Thu, 04 Jan 2007 18:09:30 +0100 |
aspinall |
Add warning fatality
|
file |
diff |
annotate
|
| Sun, 31 Dec 2006 15:34:21 +0100 |
aspinall |
Quote arguments in PGIP exceptions. Tune comment.
|
file |
diff |
annotate
|
| Fri, 29 Dec 2006 18:46:04 +0100 |
wenzelm |
signed_string_of_int;
|
file |
diff |
annotate
|
| Fri, 29 Dec 2006 18:25:46 +0100 |
wenzelm |
minor tuning;
|
file |
diff |
annotate
|
| Wed, 27 Dec 2006 16:18:07 +0100 |
haftmann |
made SML/NJ happy
|
file |
diff |
annotate
|
| Sun, 17 Dec 2006 22:43:50 +0100 |
aspinall |
Add abstraction for objtypes and documents.
|
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
|
| Mon, 04 Dec 2006 20:40:11 +0100 |
aspinall |
Revamped Proof General interface.
|
file |
diff |
annotate
|