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.
     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.
    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.
    14 The file here is valid wrt to the RELAX compact schema in "pgip.rnc".
    16 See for more details of the
    17 Proof General Kit project.
    20 				    -- David Aspinall, Sep 2005.