]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02db2fb) | patch
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
tree062e1819ad199203c5b52d414db211403ef2c854tree | snapshot
parent02db2fb2a6999035676f86a56873282e92902f50commit | diff
tex notation enabled
helm/ocaml/cic_disambiguation/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.