]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/mathml_editor/debian/changelog
HBugs compile again (but it does not do anything right now: still to be
[helm.git] / helm / DEVEL / mathml_editor / debian / changelog
2003-10-29 Stefano Zacchirolidebian version 0.0.4-2
2003-06-25 Stefano Zacchirolipreliminar 0.0.3-2 debian release
2003-06-20 Claudio Sacerdoti... New version 0.0.3:
2003-06-19 Claudio Sacerdoti... New version 0.0.2:
2003-04-02 Stefano Zacchiroliadded debian stuff, first release