# HG changeset patch
# User wenzelm
# Date 1167414364 -3600
# Node ID b7b66f440d04d88dfa7d997e9a06f89de05f26b0
# Parent  d6218d0f9ec31ce2cf7859eb5135a5b4b3f9fc27
added proper header;

diff -r d6218d0f9ec3 -r b7b66f440d04 src/Pure/ProofGeneral/ROOT.ML
--- a/src/Pure/ProofGeneral/ROOT.ML	Fri Dec 29 18:46:02 2006 +0100
+++ b/src/Pure/ProofGeneral/ROOT.ML	Fri Dec 29 18:46:04 2006 +0100
@@ -1,3 +1,10 @@
+(*  Title:      Pure/ProofGeneral/ROOT.ML
+    ID:         $Id$
+    Author:     David Aspinall
+
+Proof General interface for Isabelle.
+*)
+
 use "pgip_types.ML";
 use "pgip_markup.ML";
 use "pgip_input.ML";