|
17737
|
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 |
|