]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 078ef84) | patch
Bugs fixed:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 26 May 2005 13:10:32 +0000 (13:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 26 May 2005 13:10:32 +0000 (13:10 +0000)
commit403c0a86bc67e674e5dc4a7ff822180d761a5159
tree467cfc8e03eae626e1b5f7dbe877c0882ace2833tree | snapshot
parent078ef847d4a3a2087f2dc404e48bcef76ee4b4d5commit | diff
Bugs fixed:
 1. elim did not accept identifiers with "'" in the middle
 2. elim did not accpet URIs
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.