]>
author | denes <??> | |
Thu, 18 Jun 2009 11:43:51 +0000 (11:43 +0000) | ||
committer | denes <??> | |
Thu, 18 Jun 2009 11:43:51 +0000 (11:43 +0000) | ||
commit | 062e26282e636bb9bb8894466b56aa62e346016d | |
tree | 7340db9d69076eb0edab3c6708b0f7b29b871cff | tree | snapshot |
parent | f0e5841f5bb418fbc9e1dd11471b0bab2f35f78b | commit | diff |
helm/software/matita/contribs/ng_TPTP/run_veloci.sh | diff | blob | history |