equal
deleted
inserted
replaced
|
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 |