author | haftmann |
Tue, 30 Jan 2007 08:21:15 +0100 | |
changeset 22207 | 4bc4a930a8bc |
parent 22206 | 8cc04341de38 |
child 22208 | 2d6e8cf48670 |
--- a/src/Pure/General/xml.ML Tue Jan 30 08:21:13 2007 +0100 +++ b/src/Pure/General/xml.ML Tue Jan 30 08:21:15 2007 +0100 @@ -28,7 +28,7 @@ val parse_elem: string list -> tree * string list val parse_document: string list -> (string option * tree) * string list val tree_of_string: string -> tree - (* scanner for stream parser in proof_general.ML *) + (* scanner for stream parser in proof_general.ML *) val scan_comment_whspc : string list -> unit * string list end;