projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 28 Jun 2005 17:41:17 +0000 (17:41 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 28 Jun 2005 17:41:17 +0000 (17:41 +0000) | ||
| commit | dabc48aa1af52f7c6726b07471a03cb9e35be91c | |
| tree | c0ac8101edbe385a4fce71e7afc466a47518ffb3 | tree | snapshot |
| parent | 5a136ee51c0e52ea2ee14420b1f15bc0106eb388 | commit | diff |
| helm/matita/tests/interactive/drop.ma | [new file with mode: 0644] | blob |