removed dead code;
authorwenzelm
Sat Dec 30 16:20:32 2006 +0100 (2006-12-30)
changeset 219701845e43aee93
parent 21969 a8bf1106cb7c
child 21971 513e1d82640d
removed dead code;
src/Pure/ProofGeneral/proof_general_emacs.ML
src/Pure/ProofGeneral/proof_general_pgip.ML
     1.1 --- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Dec 30 16:08:10 2006 +0100
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Dec 30 16:20:32 2006 +0100
     1.3 @@ -15,8 +15,6 @@
     1.4  structure ProofGeneral: PROOF_GENERAL =
     1.5  struct
     1.6  
     1.7 -structure P = OuterParse;
     1.8 -
     1.9  
    1.10  (* print modes *)
    1.11  
     2.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Sat Dec 30 16:08:10 2006 +0100
     2.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Sat Dec 30 16:20:32 2006 +0100
     2.3 @@ -18,8 +18,6 @@
     2.4  structure ProofGeneralPgip : PROOF_GENERAL_PGIP  =
     2.5  struct
     2.6  
     2.7 -structure P = OuterParse;
     2.8 -
     2.9  open Pgip;
    2.10  
    2.11