lib/ProofGeneral/pgip.rnc
changeset 33686 8e33ca8832b1
parent 23434 b2e7d4c29614
equal deleted inserted replaced
33685:29106208ccf7 33686:8e33ca8832b1
     2 # RELAX NG Schema for PGIP, the Proof General Interface Protocol                   
     2 # RELAX NG Schema for PGIP, the Proof General Interface Protocol                   
     3 # 
     3 # 
     4 # Authors:  David Aspinall, LFCS, University of Edinburgh       
     4 # Authors:  David Aspinall, LFCS, University of Edinburgh       
     5 #           Christoph Lüth, University of Bremen       
     5 #           Christoph Lüth, University of Bremen       
     6 #
     6 #
     7 # Version: $Id$    
       
     8 # 
       
     9 # Status:   Prototype.
     7 # Status:   Prototype.
    10 #
     8 #
    11 # For additional commentary, see accompanying commentary document available at
     9 # For additional commentary, see accompanying commentary document available at
    12 # http://proofgeneral.inf.ed.ac.uk/Kit/docs/commentary.pdf
    10 # http://proofgeneral.inf.ed.ac.uk/Kit/docs/commentary.pdf
    13 #
    11 #