]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dcde6ad) | patch
wrapped libxslt stylesheet application inside an ocaml blocking section
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 15 Jul 2003 06:36:25 +0000 (06:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 15 Jul 2003 06:36:25 +0000 (06:36 +0000)
commit30e7e7851234512642b7558924f5a17e419b3924
treeee9720fcfc6a362af09b867ae925d76cf39ae1bftree | snapshot
parentdcde6ad4d108f1874827c0f2c09a3a3feeaa1dcfcommit | diff
wrapped libxslt stylesheet application inside an ocaml blocking section
so that ocaml exceptions, signals and other asynchronous stuff could be
handled in the meantime
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.