]> matita.cs.unibo.it Git - helm.git/history - helm/uwobo/build.xml
1) New syntax: methods add, reload and remove can now process multiple
[helm.git] / helm / uwobo / build.xml
2001-11-06 Claudio Sacerdoti... 1) New syntax: methods add, reload and remove can now...
2001-11-06 Claudio Sacerdoti... Commit of Ferruccio changes:
2001-10-18 Luca PadovaniInitial revision