]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9210fe4) | patch
* "Invalid UWOBO Server" ==> "Untrusted UWOBO Server"
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Apr 2003 09:52:10 +0000 (09:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Apr 2003 09:52:10 +0000 (09:52 +0000)
commita537ad12d57d10498d9b572290f6050dece06b0a
tree7ca10404420fb92be4d8e0590aacc87352949269tree | snapshot
parent9210fe493523ca431117a2f387ca57ee3e43abf0commit | diff
* "Invalid UWOBO Server" ==> "Untrusted UWOBO Server"
* Added mowgli.cs.unibo.it to the list of trusted UWOBO servers.
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.