]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7099c10) | patch
Added whelp to the repository.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 30 Jan 2006 10:47:07 +0000 (10:47 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 30 Jan 2006 10:47:07 +0000 (10:47 +0000)
commitc9476a5e112e223c2e0707658229b47c00ca7b5f
treef4970f5d98bd193b3ae05b2b8db2748aed2ce963tree | snapshot
parent7099c10f54741e2ecb2f69ef33490ac92b513c4dcommit | diff
Added whelp to the repository.
42 files changed:
helm/papers/whelp/.cvsignore [new file with mode: 0644] blob
helm/papers/whelp/Makefile [new file with mode: 0644] blob
helm/papers/whelp/TODO [new file with mode: 0644] blob
helm/papers/whelp/architecture.eps [new file with mode: 0644] blob
helm/papers/whelp/architecture.fig [new file with mode: 0644] blob
helm/papers/whelp/architecture_new.dia [new file with mode: 0644] blob
helm/papers/whelp/architecture_new.eps [new file with mode: 0644] blob
helm/papers/whelp/architecture_new.pdf [new file with mode: 0644] blob
helm/papers/whelp/dia/CVS/Entries [new file with mode: 0644] blob
helm/papers/whelp/dia/CVS/Repository [new file with mode: 0644] blob
helm/papers/whelp/dia/CVS/Root [new file with mode: 0644] blob
helm/papers/whelp/dia/zack_01.shape [new file with mode: 0644] blob
helm/papers/whelp/dia/zack_02.shape [new file with mode: 0644] blob
helm/papers/whelp/dia/zack_03.shape [new file with mode: 0644] blob
helm/papers/whelp/disambiguation-1.eps [new file with mode: 0644] blob
helm/papers/whelp/disambiguation-1.pdf [new file with mode: 0644] blob
helm/papers/whelp/disambiguation-1.png [new file with mode: 0644] blob
helm/papers/whelp/disambiguation.eps [new file with mode: 0644] blob
helm/papers/whelp/disambiguation.png [new file with mode: 0644] blob
helm/papers/whelp/engine.dia [new file with mode: 0644] blob
helm/papers/whelp/engine.eps [new file with mode: 0644] blob
helm/papers/whelp/engine_new.dia [new file with mode: 0644] blob
helm/papers/whelp/engine_new.eps [new file with mode: 0644] blob
helm/papers/whelp/engine_new.pdf [new file with mode: 0644] blob
helm/papers/whelp/llncs.cls [new file with mode: 0644] blob
helm/papers/whelp/main.tex [new file with mode: 0644] blob
helm/papers/whelp/match_sin.eps [new file with mode: 0644] blob
helm/papers/whelp/match_sin.pdf [new file with mode: 0644] blob
helm/papers/whelp/match_sin.png [new file with mode: 0644] blob
helm/papers/whelp/moogle.aux [new file with mode: 0644] blob
helm/papers/whelp/moogle.dvi [new file with mode: 0644] blob
helm/papers/whelp/moogle.log [new file with mode: 0644] blob
helm/papers/whelp/moogle.out [new file with mode: 0644] blob
helm/papers/whelp/moogle.tex [new file with mode: 0644] blob
helm/papers/whelp/referaggi/CVS/Entries [new file with mode: 0644] blob
helm/papers/whelp/referaggi/CVS/Repository [new file with mode: 0644] blob
helm/papers/whelp/referaggi/CVS/Root [new file with mode: 0644] blob
helm/papers/whelp/referaggi/RIASSUNTO_CRITICHE_E_SUGGERIMENTI [new file with mode: 0644] blob
helm/papers/whelp/whelp-bw.eps [new file with mode: 0644] blob
helm/papers/whelp/whelp-bw.pdf [new file with mode: 0644] blob
helm/papers/whelp/whelp-bw.svg [new file with mode: 0644] blob
helm/papers/whelp/whelp.ps [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.