]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba824e8) | patch
Comments reindented.
authorMichele Galatà <??>
Mon, 21 Oct 2002 14:15:10 +0000 (14:15 +0000)
committerMichele Galatà <??>
Mon, 21 Oct 2002 14:15:10 +0000 (14:15 +0000)
commitbc8b40d7d0d2fffc2343410d793656a6461285b7
tree78a83dc301d1f84ca51aa7f7ef5fd71245190b66tree | snapshot
parentba824e867afc3eaf081ed1a1d6526d421242a6a0commit | diff
Comments reindented.
helm/ocaml/cic_proof_checking/cicEnvironment.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.