]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 499ebc6) | patch
added reference to the online version of the manual
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 10 Jun 2006 17:06:26 +0000 (17:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 10 Jun 2006 17:06:26 +0000 (17:06 +0000)
commita23193052609e07ce850716660f5db020164af9d
tree19bc611d88d0e076ae84fc9bf6a9ec8467782b0btree | snapshot
parent499ebc6efba13685dd9c326135a2718d0f79a516commit | diff
added reference to the online version of the manual
helm/www/matita/documentation.shtml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.