src/Pure/ProofGeneral/pgip.ML
author aspinall
Mon, 04 Dec 2006 22:11:28 +0100
changeset 21641 d73ab30e82dc
parent 21637 a7b156c404e2
child 29606 fedb8be05f24
permissions -rw-r--r--
Include pgip markup module
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
21637
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
     1
(*  Title:      Pure/ProofGeneral/pgip.ML
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
     2
    ID:         $Id$
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
     3
    Author:     David Aspinall
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
     4
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
     5
Prover-side PGIP abstraction.  
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
     6
Not too closely tied to Isabelle, to help with reuse/porting.
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
     7
*)
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
     8
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
     9
signature PGIP =
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
    10
sig
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
    11
    include PGIPTYPES
21641
d73ab30e82dc Include pgip markup module
aspinall
parents: 21637
diff changeset
    12
    include PGIPMARKUP
21637
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
    13
    include PGIPINPUT
21641
d73ab30e82dc Include pgip markup module
aspinall
parents: 21637
diff changeset
    14
    include PGIPOUTPUT
21637
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
    15
end
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
    16
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
    17
structure Pgip : PGIP = 
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
    18
struct
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
    19
   open PgipTypes
21641
d73ab30e82dc Include pgip markup module
aspinall
parents: 21637
diff changeset
    20
   open PgipMarkup
21637
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
    21
   open PgipInput
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
    22
   open PgipOutput
a7b156c404e2 Revamped Proof General interface.
aspinall
parents:
diff changeset
    23
end