]> matita.cs.unibo.it Git - helm.git/commit
- information about the database map added in whatsnew.html
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 30 Jul 2003 15:29:52 +0000 (15:29 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 30 Jul 2003 15:29:52 +0000 (15:29 +0000)
commit686e22323249fbfdaf21f53b5a11fe73df52f3b9
tree0cf03297864d3e4c8e63f130acb21f03a3645f48
parent059db27238ba60f5c6bdf229bdb2265fa194a280
- information about the database map added in whatsnew.html
- spell checked
helm/mathql/homepage/authors.html
helm/mathql/homepage/documentation.html
helm/mathql/homepage/features.html
helm/mathql/homepage/implementation.html
helm/mathql/homepage/index.html
helm/mathql/homepage/links.html
helm/mathql/homepage/whatsnew.html