lib/ProofGeneral/pgml.rnc
changeset 33686 8e33ca8832b1
parent 17736 863cdca5c77a
equal deleted inserted replaced
33685:29106208ccf7 33686:8e33ca8832b1
     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)