projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 23 Jul 2007 13:22:22 +0000 (13:22 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 23 Jul 2007 13:22:22 +0000 (13:22 +0000) | ||
| commit | 604697f7e9869a50c30afba65f6753818a992d7a | |
| tree | 32e0fea4bd265b092e74e6e6a5622f51d550314e | tree | snapshot |
| parent | 39263663ca063b180c9bb277e3af7ccf4989c000 | commit | diff |
| matita/tests/fguidi.ma | diff | blob | history |