diff options
author | 2003-09-25 09:12:32 +0000 | |
---|---|---|
committer | 2003-09-25 09:12:32 +0000 | |
commit | 289644a35778aadc291ade07f131ea03707120cd (patch) | |
tree | 32ece4fab3312d9ea762dbbeb0181fd5b8858e46 /html | |
parent | 0c3624583e896e3883cec80f05fc5830e4ea15d0 (diff) |
Updated from Kit repo
Diffstat (limited to 'html')
-rw-r--r-- | html/Kit/docs/commentary.pdf | bin | 75543 -> 87700 bytes | |||
-rw-r--r-- | html/Kit/dtd/pgip.rnc | 3 |
2 files changed, 1 insertions, 2 deletions
diff --git a/html/Kit/docs/commentary.pdf b/html/Kit/docs/commentary.pdf Binary files differindex 6f747b27..1fe871f5 100644 --- a/html/Kit/docs/commentary.pdf +++ b/html/Kit/docs/commentary.pdf diff --git a/html/Kit/dtd/pgip.rnc b/html/Kit/dtd/pgip.rnc index 7db36af7..0555dc21 100644 --- a/html/Kit/dtd/pgip.rnc +++ b/html/Kit/dtd/pgip.rnc @@ -4,7 +4,7 @@ # Authors: David Aspinall, LFCS, University of Edinburgh # Christoph Lueth, University of Bremen # -# Version: pgip.rnc,v 1.36 2003/09/24 19:31:00 da Exp +# Version: pgip.rnc,v 1.37 2003/09/25 09:11:49 da Exp # # Status: Experimental. # For additional commentary, see the Proof General Kit white paper, @@ -13,7 +13,6 @@ # Advertised version: 1.0 # -## [ See rnc-temp-devel-notes.txt for possible changes to below - da ] include "pgml.rnc" # include PGML grammar |