]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02f8929) | patch
first checkin
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 May 2003 07:33:44 +0000 (07:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 May 2003 07:33:44 +0000 (07:33 +0000)
commitf59e3c55dde91612a2e8a16335f2a2e9137fde5f
tree4609c5521873dcc5f87ecade878bb2afe4a182a7tree | snapshot
parent02f8929bd58c6408545b550bcad0edb8702ca933commit | diff
first checkin
- introduction
- outline
- auxiliary files
helm/papers/calculemus-2003/.cvsignore [new file with mode: 0644] blob
helm/papers/calculemus-2003/Makefile [new file with mode: 0644] blob
helm/papers/calculemus-2003/hbugs-calculemus-2003.tex [new file with mode: 0644] blob
helm/papers/calculemus-2003/llncs.cls [new file with mode: 0644] blob
helm/papers/calculemus-2003/outline.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.