| Mon, 29 Sep 2008 11:46:47 +0200 |
wenzelm |
handle _ should be avoided (spurious Interrupt will spoil the game);
|
file |
diff |
annotate
|
| Wed, 27 Aug 2008 12:00:28 +0200 |
wenzelm |
get rid of tabs;
|
file |
diff |
annotate
|
| Wed, 27 Aug 2008 11:48:54 +0200 |
wenzelm |
type Properties.T;
|
file |
diff |
annotate
|
| Thu, 02 Aug 2007 21:45:07 +0200 |
wenzelm |
added int type constraints to accomodate hacked SML/NJ;
|
file |
diff |
annotate
|
| Wed, 11 Jul 2007 11:25:24 +0200 |
aspinall |
Track schema changes: merge messagecategory with area attributes
|
file |
diff |
annotate
|
| Sat, 03 Mar 2007 12:38:25 +0100 |
aspinall |
Comment
|
file |
diff |
annotate
|
| 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
|