]> matita.cs.unibo.it Git - helm.git/commit
added feedback for reload/remove methods (close #39)
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 25 Mar 2003 15:26:42 +0000 (15:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 25 Mar 2003 15:26:42 +0000 (15:26 +0000)
commit422b5f054c56456600cb72d7d8954b0afabec1ce
treef4aeae6c40e7c3422977d6d0dd5e336e9d4a3c22
parent06340d0a6a60e9bade273a93847f1de0b3079a3c
added feedback for reload/remove methods (close #39)
helm/uwobo/uwobo.ml