src/Pure/ProofGeneral/parsing.ML
Fri, 19 Jan 2007 22:08:08 +0100 wenzelm moved parts of OuterParse to SpecParse;
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.
Sat, 30 Dec 2006 16:08:06 +0100 wenzelm removed misleading OuterLex.eq_token;
Wed, 27 Dec 2006 16:18:07 +0100 haftmann made SML/NJ happy
Sun, 17 Dec 2006 22:43:50 +0100 aspinall Add abstraction for objtypes and documents.
Tue, 05 Dec 2006 22:04:24 +0100 aspinall Document structure in pgip_markup.ML. Minor fixes.
Mon, 04 Dec 2006 20:40:11 +0100 aspinall Revamped Proof General interface.
less more (0) tip