lib/ProofGeneral/README
author blanchet
Fri Apr 26 12:09:51 2013 +0200 (2013-04-26)
changeset 51790 22517d04d20b
parent 17737 636becdc3ccc
permissions -rw-r--r--
more intuitive syntax for equality-style discriminators of nullary constructors
     1 This directory contains a PGIP configuration file "pgip_isar.xml"
     2 which can be used to configure the behaviour of PGIP-aware interfaces
     3 communicating in PGIP with Isabelle.  The current version of this file
     4 is incomplete and experimental, because interfaces that use it are
     5 still in development.
     6 
     7 Note that Isabelle does not do anything with the configurations
     8 specified here, it simply passes the file directly on to the interface
     9 during startup inside an XML message.
    10 
    11 The file which is sent can be overridden at run time by setting the
    12 variable ISABELLE_PGIPCONFIG to point to an alternative location.
    13 
    14 The file here is valid wrt to the RELAX compact schema in "pgip.rnc".
    15 
    16 See http://proofgeneral.inf.ed.ac.uk/kit for more details of the
    17 Proof General Kit project.
    18 
    19 
    20 				    -- David Aspinall, Sep 2005.
    21