projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 23 Sep 2009 15:04:02 +0000 (15:04 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 23 Sep 2009 15:04:02 +0000 (15:04 +0000) | ||
| commit | 6fe06927f3293bfce4a01a587abd9913e711da88 | |
| tree | 22bc7756a88934698a6b436662d8f00b3890d81b | tree | snapshot |
| parent | 55ef67743ddc33b1b3f86384909fddadbb7d5103 | commit | diff |
| helm/software/matita/tests/ng_coercion_and_hints.ma | [new file with mode: 0644] | blob |
| helm/software/matita/tests/ng_copy.ma | [new file with mode: 0644] | blob |
| helm/software/matita/tests/ng_copy2.ma | [new file with mode: 0644] | blob |
| helm/software/matita/tests/reduction_new.ma | [new file with mode: 0755] | blob |
| helm/software/matita/tests/reduction_new_preamble.ma | [new file with mode: 0644] | blob |
| helm/software/matita/tests/reduction_old.ma | [new file with mode: 0755] | blob |
| helm/software/matita/tests/reduction_old_preamble.ma | [new file with mode: 0644] | blob |