]> matita.cs.unibo.it Git - helm.git/commit
updating
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 12 Mar 2004 23:02:32 +0000 (23:02 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 12 Mar 2004 23:02:32 +0000 (23:02 +0000)
commit1c84c6e1df257ad284a256ee0c2c1a203f81b713
tree4442b74a508fe44ebe1ec0f19b8f35702dddabb4
parent9fb6ab77869badc621194768935c8ddbb39193a0
updating
helm/mathql/doc/mathql.tex
helm/mathql/doc/mathql_bib.tex [new file with mode: 0644]
helm/mathql/doc/mathql_introduction.tex [new file with mode: 0644]
helm/mathql/doc/mathql_overview.tex [new file with mode: 0644]