# 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";