]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/ChangeLog
* updated the help file to reflect the new syntax (reload/remove)
[helm.git] / helm / interface / ChangeLog
1 28/12/2000: First alpha release