added proper header;
authorwenzelm
Fri Dec 29 18:46:04 2006 +0100 (2006-12-29)
changeset 21943b7b66f440d04
parent 21942 d6218d0f9ec3
child 21944 e877a5a78522
added proper header;
src/Pure/ProofGeneral/ROOT.ML
     1.1 --- a/src/Pure/ProofGeneral/ROOT.ML	Fri Dec 29 18:46:02 2006 +0100
     1.2 +++ b/src/Pure/ProofGeneral/ROOT.ML	Fri Dec 29 18:46:04 2006 +0100
     1.3 @@ -1,3 +1,10 @@
     1.4 +(*  Title:      Pure/ProofGeneral/ROOT.ML
     1.5 +    ID:         $Id$
     1.6 +    Author:     David Aspinall
     1.7 +
     1.8 +Proof General interface for Isabelle.
     1.9 +*)
    1.10 +
    1.11  use "pgip_types.ML";
    1.12  use "pgip_markup.ML";
    1.13  use "pgip_input.ML";