]> matita.cs.unibo.it Git - helm.git/commit
removed papers that have been moved to the new "papers" repository
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 17:35:52 +0000 (17:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 17:35:52 +0000 (17:35 +0000)
commit85747dc6d0578b484544bb8120aad7aa89813f27
tree665d18fecb86b2afff5492e62987542e1a4875bd
parentc1986639552e01334a05db4236627a6c1ffacf21
removed papers that have been moved to the new "papers" repository
179 files changed:
helm/papers/calculemus-2003/.cvsignore [deleted file]
helm/papers/calculemus-2003/Makefile [deleted file]
helm/papers/calculemus-2003/draftstamp.sty [deleted file]
helm/papers/calculemus-2003/ed.sty [deleted file]
helm/papers/calculemus-2003/eps/arch.dia [deleted file]
helm/papers/calculemus-2003/eps/arch.eps [deleted file]
helm/papers/calculemus-2003/eps/interfaces.dia [deleted file]
helm/papers/calculemus-2003/eps/interfaces.eps [deleted file]
helm/papers/calculemus-2003/eps/status.eps [deleted file]
helm/papers/calculemus-2003/eps/step1.eps [deleted file]
helm/papers/calculemus-2003/eps/step2.eps [deleted file]
helm/papers/calculemus-2003/hbugs-calculemus-2003.pdf [deleted file]
helm/papers/calculemus-2003/hbugs-calculemus-2003.ps.gz [deleted file]
helm/papers/calculemus-2003/hbugs-calculemus-2003.tex [deleted file]
helm/papers/calculemus-2003/llncs.cls [deleted file]
helm/papers/calculemus-2003/outline.txt [deleted file]
helm/papers/calculemus-2003/referaggio_hbugs.txt [deleted file]
helm/papers/calculemus-2003/referaggio_hbugs_short.txt [deleted file]
helm/papers/calculemus-2003/slides/Makefile [deleted file]
helm/papers/calculemus-2003/slides/advilogo.anim.gif [deleted file]
helm/papers/calculemus-2003/slides/bar.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/hbugsArch-slides.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/hbugsInterfaces-slides.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/helmHttpDeps-slides.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/helmLogic-slides.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/helmLogic.png [deleted file]
helm/papers/calculemus-2003/slides/eps/helmLogo-slides.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/logo.jpg [deleted file]
helm/papers/calculemus-2003/slides/eps/thatsall-slides.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/thatsall.gif [deleted file]
helm/papers/calculemus-2003/slides/helm.eps [deleted file]
helm/papers/calculemus-2003/slides/misc/hint2.xml [deleted file]
helm/papers/calculemus-2003/slides/misc/messages.dia [deleted file]
helm/papers/calculemus-2003/slides/misc/startmusing.xml [deleted file]
helm/papers/calculemus-2003/slides/show.dvi [deleted file]
helm/papers/calculemus-2003/slides/show.tex [deleted file]
helm/papers/calculemus-2003/slides/slides.tex [deleted file]
helm/papers/calculemus-2003/stamp.pro [deleted file]
helm/papers/matita/.cvsignore [deleted file]
helm/papers/matita/Makefile [deleted file]
helm/papers/matita/ed.sty [deleted file]
helm/papers/matita/klu10.clo [deleted file]
helm/papers/matita/klu105.clo [deleted file]
helm/papers/matita/klu11.clo [deleted file]
helm/papers/matita/klu12.clo [deleted file]
helm/papers/matita/klu9.clo [deleted file]
helm/papers/matita/kluedit.sty [deleted file]
helm/papers/matita/klufloa.sty [deleted file]
helm/papers/matita/klulist.sty [deleted file]
helm/papers/matita/klumac.sty [deleted file]
helm/papers/matita/klumath.sty [deleted file]
helm/papers/matita/klunamed.bst [deleted file]
helm/papers/matita/klunote.sty [deleted file]
helm/papers/matita/klunum.bst [deleted file]
helm/papers/matita/kluopen.sty [deleted file]
helm/papers/matita/klups.sty [deleted file]
helm/papers/matita/kluref.sty [deleted file]
helm/papers/matita/klusec.sty [deleted file]
helm/papers/matita/klut10.clo [deleted file]
helm/papers/matita/klut11.clo [deleted file]
helm/papers/matita/klut12.clo [deleted file]
helm/papers/matita/klut9.clo [deleted file]
helm/papers/matita/klutab.sty [deleted file]
helm/papers/matita/kluwer-usrman.ps [deleted file]
helm/papers/matita/kluwer.cls [deleted file]
helm/papers/matita/matita.bib [deleted file]
helm/papers/matita/matita2.bbl [deleted file]
helm/papers/matita/matita2.tex [deleted file]
helm/papers/matita/pics/cicbrowser-screenshot-browsing.eps [deleted file]
helm/papers/matita/pics/cicbrowser-screenshot-browsing.png [deleted file]
helm/papers/matita/pics/cicbrowser-screenshot-con.eps [deleted file]
helm/papers/matita/pics/cicbrowser-screenshot-con.png [deleted file]
helm/papers/matita/pics/cicbrowser-screenshot-query.eps [deleted file]
helm/papers/matita/pics/cicbrowser-screenshot-query.png [deleted file]
helm/papers/matita/pics/libraries-clusters.dot [deleted file]
helm/papers/matita/pics/libraries-clusters.png [deleted file]
helm/papers/matita/pics/libraries-clusters.ps [deleted file]
helm/papers/matita/pics/matita-screenshot-href.eps [deleted file]
helm/papers/matita/pics/matita-screenshot-href.png [deleted file]
helm/papers/matita/pics/matita-screenshot-selection.eps [deleted file]
helm/papers/matita/pics/matita-screenshot-selection.png [deleted file]
helm/papers/matita/pics/matita-screenshot.eps [deleted file]
helm/papers/matita/pics/matita-screenshot.png [deleted file]
helm/papers/use_case/stats/CANDIDATI [deleted file]
helm/papers/use_case/stats/Makefile [deleted file]
helm/papers/use_case/stats/download_candidates.sh [deleted file]
helm/papers/use_case/stats/download_candidates_c1.sh [deleted file]
helm/papers/use_case/stats/extract.xsl [deleted file]
helm/papers/use_case/stats/group.xsl [deleted file]
helm/papers/use_case/stats/groups_dependent_depth.xsl [deleted file]
helm/papers/use_case/stats/groups_dependent_size.xsl [deleted file]
helm/papers/use_case/stats/mkdiff.cc [deleted file]
helm/papers/use_case/stats/mkhtml.xsl [deleted file]
helm/papers/use_case/stats/parse/.cvsignore [deleted file]
helm/papers/use_case/stats/parse/DOMCount/.cvsignore [deleted file]
helm/papers/use_case/stats/parse/DOMCount/DOMCount.cpp [deleted file]
helm/papers/use_case/stats/parse/DOMCount/DOMCount.hpp [deleted file]
helm/papers/use_case/stats/parse/DOMCount/Makefile [deleted file]
helm/papers/use_case/stats/parse/DOMCount/Makefile.incl [deleted file]
helm/papers/use_case/stats/parse/Makefile [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/.cvsignore [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/Makefile [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/Makefile.incl [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/SAX2Print.cpp [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/SAX2Print.hpp [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/SAX2PrintHandlers.cpp [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/SAX2PrintHandlers.hpp [deleted file]
helm/papers/use_case/stats/parse/parse_expat.c [deleted file]
helm/papers/use_case/stats/parse/parse_xmlreader.c [deleted file]
helm/papers/use_case/stats/parse/parse_xmlsax.c [deleted file]
helm/papers/use_case/stats/parse/parse_xmltree.c [deleted file]
helm/papers/use_case/stats/parsing_time_expat.sh [deleted file]
helm/papers/use_case/stats/parsing_time_libxml2_reader.sh [deleted file]
helm/papers/use_case/stats/parsing_time_libxml2_sax2.sh [deleted file]
helm/papers/use_case/stats/parsing_time_libxml2_tree.sh [deleted file]
helm/papers/use_case/stats/parsing_time_xerces_sax2.sh [deleted file]
helm/papers/use_case/stats/parsing_time_xerces_tree.sh [deleted file]
helm/papers/use_case/stats/parsing_times.gpscript [deleted file]
helm/papers/use_case/stats/parsing_times.sh [deleted file]
helm/papers/use_case/stats/serialize_into_text.xsl [deleted file]
helm/papers/use_case/stats/stats.cc [deleted file]
helm/papers/use_case/stats/stats.xsl [deleted file]
helm/papers/use_case/stats/stats_body.xml.gz [deleted file]
helm/papers/use_case/stats/stats_candidates.sh [deleted file]
helm/papers/use_case/stats/stats_candidates_c1.sh [deleted file]
helm/papers/use_case/stats/stats_con.xml.gz [deleted file]
helm/papers/use_case/stats/stats_ind.xml.gz [deleted file]
helm/papers/use_case/stats/stats_proof_tree.xml.gz [deleted file]
helm/papers/use_case/stats/stats_theories.xml.gz [deleted file]
helm/papers/use_case/stats/stats_types.xml.gz [deleted file]
helm/papers/use_case/stats/stats_var.xml.gz [deleted file]
helm/papers/use_case/stats/validating_time_flea.sh [deleted file]
helm/papers/use_case/stats/validating_time_libxml2_tree.sh [deleted file]
helm/papers/use_case/stats/validating_time_xerces_sax2.sh [deleted file]
helm/papers/use_case/stats/validating_time_xerces_tree.sh [deleted file]
helm/papers/use_case/stats/validating_times.gpscript [deleted file]
helm/papers/use_case/use_case.tex [deleted file]
helm/papers/whelp/.cvsignore [deleted file]
helm/papers/whelp/Makefile [deleted file]
helm/papers/whelp/TODO [deleted file]
helm/papers/whelp/architecture.eps [deleted file]
helm/papers/whelp/architecture.fig [deleted file]
helm/papers/whelp/architecture_new.dia [deleted file]
helm/papers/whelp/architecture_new.eps [deleted file]
helm/papers/whelp/architecture_new.pdf [deleted file]
helm/papers/whelp/dia/CVS/Entries [deleted file]
helm/papers/whelp/dia/CVS/Repository [deleted file]
helm/papers/whelp/dia/CVS/Root [deleted file]
helm/papers/whelp/dia/zack_01.shape [deleted file]
helm/papers/whelp/dia/zack_02.shape [deleted file]
helm/papers/whelp/dia/zack_03.shape [deleted file]
helm/papers/whelp/disambiguation-1.eps [deleted file]
helm/papers/whelp/disambiguation-1.pdf [deleted file]
helm/papers/whelp/disambiguation-1.png [deleted file]
helm/papers/whelp/disambiguation.eps [deleted file]
helm/papers/whelp/disambiguation.png [deleted file]
helm/papers/whelp/engine.dia [deleted file]
helm/papers/whelp/engine.eps [deleted file]
helm/papers/whelp/engine_new.dia [deleted file]
helm/papers/whelp/engine_new.eps [deleted file]
helm/papers/whelp/engine_new.pdf [deleted file]
helm/papers/whelp/llncs.cls [deleted file]
helm/papers/whelp/main.tex [deleted file]
helm/papers/whelp/match_sin.eps [deleted file]
helm/papers/whelp/match_sin.pdf [deleted file]
helm/papers/whelp/match_sin.png [deleted file]
helm/papers/whelp/moogle.aux [deleted file]
helm/papers/whelp/moogle.dvi [deleted file]
helm/papers/whelp/moogle.log [deleted file]
helm/papers/whelp/moogle.out [deleted file]
helm/papers/whelp/moogle.tex [deleted file]
helm/papers/whelp/referaggi/CVS/Entries [deleted file]
helm/papers/whelp/referaggi/CVS/Repository [deleted file]
helm/papers/whelp/referaggi/CVS/Root [deleted file]
helm/papers/whelp/referaggi/RIASSUNTO_CRITICHE_E_SUGGERIMENTI [deleted file]
helm/papers/whelp/whelp-bw.eps [deleted file]
helm/papers/whelp/whelp-bw.pdf [deleted file]
helm/papers/whelp/whelp-bw.svg [deleted file]
helm/papers/whelp/whelp.ps [deleted file]