]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13d18f9) | patch
in the particular case of simple searches, Andrea atmost/atleast/exactly
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Jun 2004 13:42:32 +0000 (13:42 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Jun 2004 13:42:32 +0000 (13:42 +0000)
commita0f2a7d4b328e5a621a5d62f474e5d552587d72f
tree24d48a1c25528903d7500836781018e82a850632tree | snapshot
parent13d18f963d7342cfeddf17f3ae222ff1b14404a8commit | diff
in the particular case of simple searches, Andrea atmost/atleast/exactly
technique is used
helm/searchEngine/Makefile diff | blob | history
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.