]> matita.cs.unibo.it Git - helm.git/commit
introduction updated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 21 Mar 2004 19:31:26 +0000 (19:31 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 21 Mar 2004 19:31:26 +0000 (19:31 +0000)
commite5632ea17a3a417084b1b12d3c5b1cc0f8bf78c3
tree0023bbf92cc6421289d32e522268da0cb6beed71
parent2542d2235787a5792069343b81d3fd60ffa56c2a
introduction updated
helm/mathql/doc/mathql_introduction.tex
helm/mathql/doc/mathql_macros.sty
helm/mathql/doc/mathql_operational.tex