| Thu, 12 Jul 2007 00:15:36 +0200 |
wenzelm |
renamed PgipParser to OldPgipParser;
|
file |
diff |
annotate
|
| Thu, 05 Jul 2007 19:57:19 +0200 |
aspinall |
Classify -- comments as ordinary comments (no undo)
|
file |
diff |
annotate
|
| Sat, 03 Mar 2007 12:42:04 +0100 |
aspinall |
Add objtypes to openblock/closeblock and theory items (can be used to control folding).
|
file |
diff |
annotate
|
| Wed, 28 Feb 2007 14:46:21 +0100 |
aspinall |
Add closeblock/openblock structure to proof-block commands
|
file |
diff |
annotate
|
| Mon, 22 Jan 2007 15:36:58 +0100 |
aspinall |
Comments
|
file |
diff |
annotate
|
| Fri, 19 Jan 2007 22:08:08 +0100 |
wenzelm |
moved parts of OuterParse to SpecParse;
|
file |
diff |
annotate
|
| Sun, 31 Dec 2006 14:50:40 +0100 |
aspinall |
Fix diagnostic kind (*are* spuriouscmd). Add init to get right table for logic at startup. Use theoryitem as default for unrecognised command.
|
file |
diff |
annotate
|
| Sat, 30 Dec 2006 16:08:06 +0100 |
wenzelm |
removed misleading OuterLex.eq_token;
|
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
|
| Tue, 05 Dec 2006 22:04:24 +0100 |
aspinall |
Document structure in pgip_markup.ML. Minor fixes.
|
file |
diff |
annotate
|
| Mon, 04 Dec 2006 20:40:11 +0100 |
aspinall |
Revamped Proof General interface.
|
file |
diff |
annotate
|