]> matita.cs.unibo.it Git - helm.git/commit
- ported to Helm_registry
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 16:33:19 +0000 (16:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 16:33:19 +0000 (16:33 +0000)
commit25bcb9af3fc3ce3cebd369e3cd9f3a704403a173
treea49bba7376af21246dedd71ebd0235c4569c603e
parent02f84dc4ebb39cbebcaac6d2bbbf1e8413e10aa1
- ported to Helm_registry
- ported to the new disambiguating parser of Zack & Andrea
helm/searchEngine/Makefile
helm/searchEngine/html/aliaslist.html
helm/searchEngine/html/expr.html
helm/searchEngine/html/grammarpdq.html
helm/searchEngine/searchEngine.conf.xml.sample [new file with mode: 0644]
helm/searchEngine/searchEngine.ml