]> matita.cs.unibo.it Git - helm.git/commit
tex notation enabled
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Mar 2004 14:55:16 +0000 (14:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Mar 2004 14:55:16 +0000 (14:55 +0000)
commitec5775c70b8af3137360acec208623b65c5fd572
tree062e1819ad199203c5b52d414db211403ef2c854
parent02db2fb2a6999035676f86a56873282e92902f50
tex notation enabled
helm/ocaml/cic_disambiguation/Makefile