changeset 36315 | e859879079c8 |
parent 33038 | 8f9594c31de4 |
child 36950 | 75b8f26f2f07 |
--- a/src/Pure/ProofGeneral/pgip_parser.ML Fri Apr 23 19:36:23 2010 +0200 +++ b/src/Pure/ProofGeneral/pgip_parser.ML Fri Apr 23 21:00:28 2010 +0200 @@ -63,6 +63,7 @@ |> command K.thy_decl thy_decl |> command K.thy_script thy_decl |> command K.thy_goal goal + |> command K.thy_schematic_goal goal |> command K.qed closegoal |> command K.qed_block closegoal |> command K.qed_global (fn text => [D.Giveupgoal {text = text}])