]> matita.cs.unibo.it Git - helm.git/commit
Slightly nicer output.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Nov 2007 12:18:15 +0000 (12:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Nov 2007 12:18:15 +0000 (12:18 +0000)
commit3027a19fa263522f1b736cf97d93f56acc080da6
treed3445e0131f343668df5be707f91dd830da84891
parentd862dbee70203011317c1b8be73bd446893b359b
Slightly nicer output.
helm/software/components/cic_exportation/cicExportation.ml