]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac80c2c) | patch
Debugging code removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Dec 2010 22:40:42 +0000 (22:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Dec 2010 22:40:42 +0000 (22:40 +0000)
commit77552219608b573dc360b6bb7a52aa5344235959
tree2473648789ed5038cb7ab8cbc86fab545b92aa62tree | snapshot
parentac80c2cd2667de2942182ae0a98ad3dbadd7b559commit | diff
Debugging code removed.
matita/components/content_pres/termContentPres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.