]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Mon, 23 Jan 2006 07:24:49 +0000 (07:24 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Mon, 23 Jan 2006 07:24:49 +0000 (07:24 +0000) | ||
commit | a20314166d9eca722e01dde21506c52dd8d8af74 | |
tree | c01a9fa558db01286bea8adcd0a73ab7463d62fc | tree | snapshot |
parent | e67566145f090de0bfc28d4f1eea82a42c2e1ed1 | commit | diff |
helm/papers/matita/matita2.tex | diff | blob | history |