]> matita.cs.unibo.it Git - helm.git/commit
bad link patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 27 Jan 2004 17:25:43 +0000 (17:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 27 Jan 2004 17:25:43 +0000 (17:25 +0000)
commit28643817ffce0d762e06fc03f5067f1c3fddeeb6
tree5cc5ab3ef18f0d72ae486467d4795f1ed1d5105e
parentf5b6be7239a35e1d0aba504605b5a0df5cf06726
bad link patched
helm/mathql/homepage/documentation.html