projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 19 Dec 2005 12:49:24 +0000 (12:49 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 19 Dec 2005 12:49:24 +0000 (12:49 +0000) | ||
| commit | 39c621e194112d5695c39d070909a3ee957b387f | |
| tree | 21e272cb9587be0ef2db1541f843c38235007fd6 | tree | snapshot |
| parent | 00187e5a38cb2fac7c806f62cd7c3d2c85ddf9c2 | commit | diff |
| helm/papers/matita/libraries.ps | diff | blob | history | |
| helm/papers/matita/librariesCluster.ps | diff | blob | history | |
| helm/papers/matita/matita2.tex | diff | blob | history |