# HG changeset patch
# User wenzelm
# Date 1194191008 -3600
# Node ID 2dbc2bbe237a8b11a1863afb145086526956dde8
# Parent  f28efd37e18abdb8719c4059ab09ab6a2af6f6a7
added ProofGeneral/pgml_isabelle.ML;

diff -r f28efd37e18a -r 2dbc2bbe237a src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Sun Nov 04 16:43:27 2007 +0100
+++ b/src/Pure/IsaMakefile	Sun Nov 04 16:43:28 2007 +0100
@@ -57,7 +57,7 @@
   ProofGeneral/parsing.ML ProofGeneral/pgip.ML ProofGeneral/pgip_input.ML	\
   ProofGeneral/pgip_isabelle.ML ProofGeneral/pgip_markup.ML			\
   ProofGeneral/pgip_output.ML ProofGeneral/pgip_parser.ML			\
-  ProofGeneral/pgip_tests.ML ProofGeneral/pgip_types.ML				\
+  ProofGeneral/pgip_tests.ML ProofGeneral/pgip_types.ML ProofGeneral/pgml_isabelle.ML				\
   ProofGeneral/preferences.ML ProofGeneral/proof_general_emacs.ML 		\
   ProofGeneral/proof_general_pgip.ML Pure.thy ROOT.ML Syntax/ast.ML		\
   Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML Syntax/printer.ML		\