]> matita.cs.unibo.it Git - helm.git/commit
* New release of the client-side interface.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Mar 2003 16:02:23 +0000 (16:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Mar 2003 16:02:23 +0000 (16:02 +0000)
commit02a075a57f4e40ff34b7ae1351ab77c32d0d427b
treeb431d314dbed3eaab4ab7ff77a8f51be4d022dbb
parentf56fe02e31003418cf9dbe3a472fe665acbbf4f5
* New release of the client-side interface.
* Closes the following bug: if an ambiguous query (with more than one
  ambiguous term) was issued twice and all the aliases were cleaned
  between the two queries, disambiguation was not asked to the user
  for each ambiguous term but the first one.
helm/searchEngine/html/aliaslist.html
helm/searchEngine/html/boole.html
helm/searchEngine/html/editor.html
helm/searchEngine/html/expnamedsubst.html
helm/searchEngine/html/expr.html
helm/searchEngine/html/genid.html
helm/searchEngine/html/loc_obj.html
helm/searchEngine/html/set.html
helm/searchEngine/html/templateambigpdq3.html
helm/searchEngine/html/val.html