equal
deleted
inserted
replaced
1 # |
1 # |
2 # RELAX NG Schema for PGML, the Proof General Markup Language |
2 # RELAX NG Schema for PGML, the Proof General Markup Language |
3 # |
3 # |
4 # Authors: David Aspinall, LFCS, University of Edinburgh |
4 # Authors: David Aspinall, LFCS, University of Edinburgh |
5 # Christoph Lueth, University of Bremen |
5 # Christoph Lueth, University of Bremen |
6 # Version: $Id$ |
|
7 # |
6 # |
8 # Status: Complete, prototype. |
7 # Status: Complete, prototype. |
9 # |
8 # |
10 # For additional commentary, see accompanying commentary document |
9 # For additional commentary, see accompanying commentary document |
11 # (available at http://proofgeneral.inf.ed.ac.uk/kit) |
10 # (available at http://proofgeneral.inf.ed.ac.uk/kit) |