]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07b29a4) | patch
xsltProcessor.ml : patched to work with UWOBO
authorLuca Padovani <luca.padovani@unito.it>
Tue, 30 Jan 2001 14:39:03 +0000 (14:39 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 30 Jan 2001 14:39:03 +0000 (14:39 +0000)
commitf25a6ef4d3e7263420d1e72daccf5e60c672b47b
tree51729a6df72f19fb08dadaa6fceb0ce6c7327742tree | snapshot
parent07b29a457f5f16e1aa85afbe057242a01c9303f1commit | diff
xsltProcessor.ml : patched to work with UWOBO
helm/interface/xsltProcessor.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.