projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 18 Jan 2006 12:09:29 +0000 (12:09 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 18 Jan 2006 12:09:29 +0000 (12:09 +0000) | ||
| commit | 47992200e628aa4c403496bcbe9116b0a4f8cdcd | |
| tree | bfebea8b937b42c3fec8c548bb3c518abb8a9232 | tree | snapshot |
| parent | 8f3b97594c810f476149c96b6cb46141d8cf4eaf | commit | diff |
| helm/papers/matita/libraries.ps | [deleted file] | blob | history |
| helm/papers/matita/matita2.tex | diff | blob | history |