]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ef888a) | patch
matitatop now cleans all before exiting in every situation.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 5 Jul 2005 15:09:44 +0000 (15:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 5 Jul 2005 15:09:44 +0000 (15:09 +0000)
commit5228acfa3e0e37019dac156ba85434b83e8f469d
treecfd3ed15c4635c9657736e2e8a3578d6280426actree | snapshot
parent6ef888abc44eab4f05077d0f4b600f1c1239dcb3commit | diff
matitatop now cleans all before exiting in every situation.
Indeed, quite often it cleans all twice :-)
helm/matita/.ocamlinit diff | blob | history
helm/matita/matitacLib.ml diff | blob | history
helm/matita/matitacLib.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.