lib/ProofGeneral/README
author traytel
Tue, 04 Sep 2012 12:12:03 +0200
changeset 49110 2e43fb45b91b
parent 17737 636becdc3ccc
permissions -rw-r--r--
eliminated obsolete "parallel_proofs = 0" restriction (cf. 0e5b859e1c91)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17737
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
     1
This directory contains a PGIP configuration file "pgip_isar.xml"
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
     2
which can be used to configure the behaviour of PGIP-aware interfaces
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
     3
communicating in PGIP with Isabelle.  The current version of this file
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
     4
is incomplete and experimental, because interfaces that use it are
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
     5
still in development.
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
     6
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
     7
Note that Isabelle does not do anything with the configurations
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
     8
specified here, it simply passes the file directly on to the interface
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
     9
during startup inside an XML message.
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
    10
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
    11
The file which is sent can be overridden at run time by setting the
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
    12
variable ISABELLE_PGIPCONFIG to point to an alternative location.
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
    13
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
    14
The file here is valid wrt to the RELAX compact schema in "pgip.rnc".
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
    15
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
    16
See http://proofgeneral.inf.ed.ac.uk/kit for more details of the
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
    17
Proof General Kit project.
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
    18
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
    19
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
    20
				    -- David Aspinall, Sep 2005.
636becdc3ccc Explanatory text
aspinall
parents:
diff changeset
    21