Explanatory text
authoraspinall
Fri Sep 30 17:33:22 2005 +0200 (2005-09-30)
changeset 17737636becdc3ccc
parent 17736 863cdca5c77a
child 17738 9c7fc0d5cf84
Explanatory text
lib/ProofGeneral/README
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lib/ProofGeneral/README	Fri Sep 30 17:33:22 2005 +0200
     1.3 @@ -0,0 +1,21 @@
     1.4 +This directory contains a PGIP configuration file "pgip_isar.xml"
     1.5 +which can be used to configure the behaviour of PGIP-aware interfaces
     1.6 +communicating in PGIP with Isabelle.  The current version of this file
     1.7 +is incomplete and experimental, because interfaces that use it are
     1.8 +still in development.
     1.9 +
    1.10 +Note that Isabelle does not do anything with the configurations
    1.11 +specified here, it simply passes the file directly on to the interface
    1.12 +during startup inside an XML message.
    1.13 +
    1.14 +The file which is sent can be overridden at run time by setting the
    1.15 +variable ISABELLE_PGIPCONFIG to point to an alternative location.
    1.16 +
    1.17 +The file here is valid wrt to the RELAX compact schema in "pgip.rnc".
    1.18 +
    1.19 +See http://proofgeneral.inf.ed.ac.uk/kit for more details of the
    1.20 +Proof General Kit project.
    1.21 +
    1.22 +
    1.23 +				    -- David Aspinall, Sep 2005.
    1.24 +