]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1dec476) | patch
control.html, control.js: now commands replace the history, so that
authorLuca Padovani <luca.padovani@unito.it>
Fri, 6 Apr 2001 14:15:26 +0000 (14:15 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 6 Apr 2001 14:15:26 +0000 (14:15 +0000)
commit1e8d38a37f3fe0ecc7fb76ea1a0d9a5531687b42
tree60e5f6a810b25767a9484514ab461ea219a8fa12tree | snapshot
parent1dec476db78376bd5b50b71b9c7316410f87fc86commit | diff
control.html, control.js: now commands replace the history, so that
the back button in the browser returns immediately to the
previous page (and not the previous command result)
helm/uwobo-panel/control.html diff | blob | history
helm/uwobo-panel/control.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.