]>
author | denes <??> | |
Thu, 18 Jun 2009 11:23:18 +0000 (11:23 +0000) | ||
committer | denes <??> | |
Thu, 18 Jun 2009 11:23:18 +0000 (11:23 +0000) | ||
commit | f0e5841f5bb418fbc9e1dd11471b0bab2f35f78b | |
tree | 3f80cadeb1819d3f2a4c03a5beb94d3b1c6c8f11 | tree | snapshot |
parent | b8e036c5f3f54406e36cee1177a78922d59a0295 | commit | diff |
helm/software/matita/contribs/ng_TPTP/Veloci | [new file with mode: 0644] | blob |
helm/software/matita/contribs/ng_TPTP/run_veloci.sh | [new file with mode: 0755] | blob |