]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29c9793) | patch
backup copy rm
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 17 Dec 2012 09:00:51 +0000 (09:00 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 17 Dec 2012 09:00:51 +0000 (09:00 +0000)
commite643893c8f58c2ac50227f16cc119cad0b20704e
treee1f47bbe6d5e524929507cd20d66d9f21f0dccb6tree | snapshot
parent29c979302cf398410bf6f10c11b146ebe42bd54acommit | diff
backup copy rm
matita/matita/lib/arithmetics/chebyshev/chebyshev.ma.old [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.