]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9543a35) | patch
catch only PXP exceptions in xml_document to avoid thread breakage
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Apr 2003 09:23:06 +0000 (09:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Apr 2003 09:23:06 +0000 (09:23 +0000)
commit2a825bacd5664c01ae56ed1255390a5972d1e8b9
tree40fb1615a5116fe836a66265abbe4e0835e0b35ctree | snapshot
parent9543a355016ed3c2abc5e75e4e5d24e8f4d9bb3acommit | diff
catch only PXP exceptions in xml_document to avoid thread breakage
helm/ocaml/getter/configuration.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.