]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9f775a) | patch
Minor code uniformization.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 22:42:11 +0000 (22:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 22:42:11 +0000 (22:42 +0000)
commit29e65035d698f11ab4d3a627f8b9b6027f1f20d5
treeb434171f219000866b098a266fca26744a7bf4detree | snapshot
parentf9f775a550264a8dc9ce7ea9a48b79892a122c3ccommit | diff
Minor code uniformization.
matita/components/grafite_parser/grafiteParser.mli diff | blob | history
matita/components/ng_cic_content/interpretations.mli diff | blob | history
matita/components/ng_refiner/nCicCoercion.mli diff | blob | history
matita/components/ng_tactics/nTacStatus.mli diff | blob | history
matita/components/statuses.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.