tuned dead code;

--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Jul 09 23:12:49 2007 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Jul 09 23:12:51 2007 +0200
@@ -447,7 +447,7 @@
 
 fun isarcmd s =
     s |> OuterSyntax.scan |> OuterSyntax.read
-      (*|> map (Toplevel.position (Position.name "PGIP message") o #3)*)
+      (*|> map (Toplevel.position Position.none o #3)*)
       |> map #3
       |> Toplevel.>>>;