]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3059c9a) | patch
fixed self and removed more DUMMY... only one left
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 15 Nov 2005 11:40:31 +0000 (11:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 15 Nov 2005 11:40:31 +0000 (11:40 +0000)
commit118769957a508c21b72bd7b9d2dbf64f654fe21c
treee598a12b362f8af033df7620aa822a856a8b879dtree | snapshot
parent3059c9a2b5e06003080c6294bd5ea6687ba80ca1commit | diff
fixed self and removed more DUMMY... only one left
helm/ocaml/cic_notation/print_grammar.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.