diff options
Diffstat (limited to 'html/Kit')
| -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 |