src/Pure/ProofGeneral/pgip.ML
author aspinall
Mon, 04 Dec 2006 20:40:11 +0100
changeset 21637 a7b156c404e2
child 21641 d73ab30e82dc
permissions -rw-r--r--
Revamped Proof General interface.

(*  Title:      Pure/ProofGeneral/pgip.ML
    ID:         $Id$
    Author:     David Aspinall

Prover-side PGIP abstraction.  
Not too closely tied to Isabelle, to help with reuse/porting.
*)

signature PGIP =
sig
    include PGIPTYPES
    include PGIPINPUT
    include PGIPOUTPUT			    
end

structure Pgip : PGIP = 
struct
   open PgipTypes
   open PgipInput
   open PgipOutput
end