]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb12bdf) | patch
Many changes in the client-side interfaces:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 12 Mar 2003 11:32:37 +0000 (11:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 12 Mar 2003 11:32:37 +0000 (11:32 +0000)
commitfb783535ecfe90b6277605d8c8df395389acaf75
tree89ba8d51617a625143ac2585a6296d21756e7e77tree | snapshot
parentfb12bdf2cf0ecbf50726b70d6a3097cb933319a0commit | diff
Many changes in the client-side interfaces:
 1. Bug fix: after a SearchPattern query it was impossible to interact
    any more with the "alias" editor. The problem was that the JavaScript
    code assumed the existence of a parent frame that is not always there.
    Closes #24
 2. New release of the client-side interface with some bug fixes in the
    grammar production
12 files changed:
helm/searchEngine/html/aliaslist.html diff | blob | history
helm/searchEngine/html/editorpdq.html diff | blob | history
helm/searchEngine/html/expr.html diff | blob | history
helm/searchEngine/html/grammarpdq.html diff | blob | history
helm/searchEngine/html/index.html diff | blob | history
helm/searchEngine/html/loc_obj.html diff | blob | history
helm/searchEngine/html/pdq.html diff | blob | history
helm/searchEngine/html/query_choice.html diff | blob | history
helm/searchEngine/html/start.html diff | blob | history
helm/searchEngine/html/templateambigpdq1.html diff | blob | history
helm/searchEngine/html/templateambigpdq2.html diff | blob | history
helm/searchEngine/html/templateambigpdq3.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.