]> matita.cs.unibo.it Git - helm.git/history - helm/uwobo/build.xml
...
[helm.git] / helm / uwobo / build.xml
2001-11-12 Claudio Sacerdoti... Version 1.2.1beta => 1.2.1
2001-11-12 Claudio Sacerdoti... - Stylesheet exceptions now printed in red.
2001-11-07 Claudio Sacerdoti... GPL licence added.
2001-11-06 Claudio Sacerdoti... Version 1.2 ==> 1.2.0
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