]> matita.cs.unibo.it Git - helm.git/commit
mathql documentation for version 4
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 8 Dec 2003 16:22:24 +0000 (16:22 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 8 Dec 2003 16:22:24 +0000 (16:22 +0000)
commite24d6f693e7fef6120b0730b5cc0564ba701f530
tree89f0ed2b0dec80ce9404a9f5bcec21b064d1d458
parent5157eaf8a8d467419e0f76c4cabfe0366bd0b8c0
mathql documentation for version 4
helm/mathql/doc/.cvsignore [new file with mode: 0644]
helm/mathql/doc/mathql.tex [new file with mode: 0644]