author | wenzelm |
Thu, 03 Apr 2008 22:21:29 +0200 | |
changeset 26552 | 5677b4faf295 |
parent 26551 | da1cd11d8a25 |
child 26553 | 748631e95425 |
1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML Thu Apr 03 22:21:26 2008 +0200 1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML Thu Apr 03 22:21:29 2008 +0200 1.3 @@ -1115,7 +1115,7 @@ 1.4 in 1.5 (* TODO: add socket interface *) 1.6 1.7 - val xmlP = XML.parse_comment_whspc |-- XML.parse_element >> single 1.8 + val xmlP = XML.parse_comments |-- XML.parse_element >> single 1.9 1.10 val tty_src = Source.set_prompt "" (Source.source Symbol.stopper xmlP NONE Source.tty) 1.11