]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 85747dc) | patch
removed papers dir, now all papers are in the new "papers" repository
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 17:39:27 +0000 (17:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 17:39:27 +0000 (17:39 +0000)
commit2cf4633988fe480f90b477ddaa586d218afc22d6
tree37c1f693c4eb7c2dc6173dd3322b426ac49d8c0dtree | snapshot
parent85747dc6d0578b484544bb8120aad7aa89813f27commit | diff
removed papers dir, now all papers are in the new "papers" repository
helm/papers/system_T/Latex8.ps [deleted file] blob | history
helm/papers/system_T/Latex8.txt [deleted file] blob | history
helm/papers/system_T/Makefile [deleted file] blob | history
helm/papers/system_T/latex8.bib [deleted file] blob | history
helm/papers/system_T/latex8.bst [deleted file] blob | history
helm/papers/system_T/latex8.sty [deleted file] blob | history
helm/papers/system_T/latex8.tex [deleted file] blob | history
helm/papers/system_T/t.tex [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.