]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eacd370) | patch
uniformed terminology used in the indexing part to that used in the rest of the paper
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 30 Jan 2006 13:44:05 +0000 (13:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 30 Jan 2006 13:44:05 +0000 (13:44 +0000)
commit2c8da9d687c102ab8bc4c0424080f64ff76f3c53
tree55d76b4f0e341f57e5e18512ddf1ffd75b60b725tree | snapshot
parenteacd3705822310081dca775a47cdb7f323ea9513commit | diff
uniformed terminology used in the indexing part to that used in the rest of the paper
helm/papers/matita/matita2.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.