]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Wed, 1 Feb 2006 09:18:14 +0000 (09:18 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Wed, 1 Feb 2006 09:18:14 +0000 (09:18 +0000) | ||
commit | 58862914ee113156776b2f0d74b8ea11d43c3ca9 | |
tree | b7c8b08a89c76920eff16928e4ca8a1f7955caa5 | tree | snapshot |
parent | 1284797c1b63732de9af2a433722e1ff8e564ed0 | commit | diff |
helm/papers/matita/matita2.tex | diff | blob | history |