]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d4df92) | patch
(** xxx **) ==> (** xxx *)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 Aug 2005 08:28:29 +0000 (08:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 Aug 2005 08:28:29 +0000 (08:28 +0000)
commitb17f04ca2d984e6a26e4dad9d35b881f64566951
tree3ae624176f4f1d8997c78806cfe82e6a4a610114tree | snapshot
parent2d4df92436d8f177d0ea74524deef3308713aa55commit | diff
(** xxx **) ==> (** xxx *)
helm/matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.