]> matita.cs.unibo.it Git - helm.git/history - helm/helmpot/debian/changelog
Added all transformations for sequents.
[helm.git] / helm / helmpot / debian / changelog
2003-06-25 Stefano Zacchiroliforward ported to use pkg-config
2002-05-14 Stefano ZacchiroliRelease 0.1.0-1 of the deb package.
2001-11-14 Stefano ZacchiroliChanged maintainer field and set section field.
2001-10-05 Claudio Sacerdoti... Debian packaging of helmpot-0.0.3
2001-08-27 Claudio Sacerdoti... Upgrade to 0.0.2
2001-04-12 Luca PadovaniInitial revision