]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 02a075a)
* 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)
* 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.


No differences found
Unnamed repository; edit this file 'description' to name the repository.