]> matita.cs.unibo.it Git - helm.git/commit
added Parse_error exception and pretty printing of Expat errors
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 May 2005 16:34:48 +0000 (16:34 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 May 2005 16:34:48 +0000 (16:34 +0000)
commit59f76964d65d638f6729d8dda41afac82f7a2901
treecf7292f521ac5cb03514c604ba7fe5bc0d51f854
parent0d0b188e3030ec94176cd03b68b5013931740dad
added Parse_error exception and pretty printing of Expat errors
helm/ocaml/xml/xmlPushParser.ml
helm/ocaml/xml/xmlPushParser.mli