]> matita.cs.unibo.it Git - helm.git/commit
features: patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 17 Mar 2003 22:28:43 +0000 (22:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 17 Mar 2003 22:28:43 +0000 (22:28 +0000)
commit7766a767013f91cf34cc4d82782f71a280ce41ef
treed7095ddd063775a93cb8afd391a923287ec16203
parentd6cb4446b6c5653dcdfb555959e388ef1c4c6411
features: patched
helm/mathql/homepage/features.html