]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c84c6e) | patch
talk committed
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 14 Mar 2004 10:20:11 +0000 (10:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 14 Mar 2004 10:20:11 +0000 (10:20 +0000)
commit31b7c5eb98bdd68ac0d7128d4995c696ebad6518
tree9d472b31982e68df38d0a5bd33d4fdfe5c5c72eftree | snapshot
parent1c84c6e1df257ad284a256ee0c2c1a203f81b713commit | diff
talk committed
19 files changed:
helm/papers/calculemus-2003/slides/Makefile [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/advilogo.anim.gif [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/bar.eps [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/eps/hbugsArch-slides.eps [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/eps/hbugsInterfaces-slides.eps [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/eps/helmHttpDeps-slides.eps [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/eps/helmLogic-slides.eps [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/eps/helmLogic.png [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/eps/helmLogo-slides.eps [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/eps/logo.jpg [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/eps/thatsall-slides.eps [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/eps/thatsall.gif [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/helm.eps [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/misc/hint2.xml [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/misc/messages.dia [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/misc/startmusing.xml [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/show.dvi [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/show.tex [new file with mode: 0644] blob
helm/papers/calculemus-2003/slides/slides.tex [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.