]> matita.cs.unibo.it Git - helm.git/commit
updated to version 1.4
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Nov 2003 10:04:44 +0000 (10:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Nov 2003 10:04:44 +0000 (10:04 +0000)
commit775d16eb4ae817947aa47b7067ca8e5b42e0f369
tree3fadb962932603f260675d61fb028ac5316c8337
parent909551e6f7511de1fcb84914baa4c909e33845ee
updated to version 1.4
helm/mathql/homepage/documentation.html