checkin of pdf papers in the repo
authorStefano Zacchiroli <zack@fettunta.org>
Sat, 22 Dec 2007 18:32:25 +0000 (18:32 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Sat, 22 Dec 2007 18:32:25 +0000 (18:32 +0000)
commite62e9778fa920a2bc4abd2d39424a9fe77374de9
tree7b82166677c743a1caf5c557adb2b5d7155ee859
parent54969c35dff845b5581160685531d0e2bee98b7c
checkin of pdf papers in the repo
17 files changed:
research/publications/constrainedwiki.pdf [new file with mode: 0644]
research/publications/disambiguation-errors.pdf [new file with mode: 0644]
research/publications/disambiguation.pdf [new file with mode: 0644]
research/publications/flea.pdf [new file with mode: 0644]
research/publications/gmetadom.pdf [new file with mode: 0644]
research/publications/hbugs.pdf [new file with mode: 0644]
research/publications/master-thesis.pdf [new file with mode: 0644]
research/publications/mathsearch.pdf [new file with mode: 0644]
research/publications/matita-crafting.pdf [new file with mode: 0644]
research/publications/matita.pdf [new file with mode: 0644]
research/publications/notation.pdf [new file with mode: 0644]
research/publications/phd-thesis.pdf [new file with mode: 0644]
research/publications/steve-latvia.pdf [new file with mode: 0644]
research/publications/streaming-co-constraints.pdf [new file with mode: 0644]
research/publications/tinycals.pdf [new file with mode: 0644]
research/publications/whelp.pdf [new file with mode: 0644]
research/publications/wiki-templating-tr.pdf [new file with mode: 0644]