projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 6 Feb 2006 17:19:52 +0000 (17:19 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 6 Feb 2006 17:19:52 +0000 (17:19 +0000) | ||
| commit | 2d7b903fc2132621c2ce61edf5d35caf7b3b1f95 | |
| tree | 4732de2a5e8d02e238044506ef6b1997cc107add | tree | snapshot |
| parent | 3da15a10eadcba9a0d9cef36f2e66e6c9b076d32 | commit | diff |
| matita/matitacLib.ml | diff | blob | history |