simplified isarcmd;

--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu Apr 10 17:01:40 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu Apr 10 17:01:41 2008 +0200
@@ -481,11 +481,7 @@
 
 (* Sending commands to Isar *)
 
-fun isarcmd s =
-    s |> OuterSyntax.scan |> OuterSyntax.read
-      (*|> map (Toplevel.position Position.none o #3)*)
-      |> map #3
-      |> Isar.>>>;
+fun isarcmd s = Isar.>>> (OuterSyntax.parse Position.none s);
 
 (* TODO:
     - apply a command given a transition function, e.g. IsarCmd.undo.