]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e36510) | patch
Fix in matitaweb:index.html.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 12:58:55 +0000 (12:58 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 12:58:55 +0000 (12:58 +0000)
commitc64ca037e5e1e70d821d390c6297f32e847a1d90
tree5e0efb5e3ba3e32a6571c49fccedd809a858197ftree | snapshot
parent1e3651060915376a1392294c6e7d829af726b4a7commit | diff
Fix in matitaweb:index.html.
matitaB/matita/index.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.