]> matita.cs.unibo.it Git - helm.git/commit
new snapshot 0.4.97
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 19:39:57 +0000 (19:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 19:39:57 +0000 (19:39 +0000)
commita957099550619f87a58be467b9b11f2ad6501378
treece284f148dfb5efcd2edc2fd3c90d5636fb22044
parentdb929143eeb0c6e33323c0614d4c8f01817fbca0
new snapshot