matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 6 Feb 2006 17:35:52 +0000 (17:35 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 6 Feb 2006 17:35:52 +0000 (17:35 +0000)
commit	85747dc6d0578b484544bb8120aad7aa89813f27
tree	665d18fecb86b2afff5492e62987542e1a4875bd	tree \| snapshot
parent	c1986639552e01334a05db4236627a6c1ffacf21	commit \| diff

removed papers that have been moved to the new "papers" repository

179 files changed:

helm/papers/calculemus-2003/.cvsignore	[deleted file]	blob \| history
helm/papers/calculemus-2003/Makefile	[deleted file]	blob \| history
helm/papers/calculemus-2003/draftstamp.sty	[deleted file]	blob \| history
helm/papers/calculemus-2003/ed.sty	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/arch.dia	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/arch.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/interfaces.dia	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/interfaces.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/status.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/step1.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/step2.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/hbugs-calculemus-2003.pdf	[deleted file]	blob \| history
helm/papers/calculemus-2003/hbugs-calculemus-2003.ps.gz	[deleted file]	blob \| history
helm/papers/calculemus-2003/hbugs-calculemus-2003.tex	[deleted file]	blob \| history
helm/papers/calculemus-2003/llncs.cls	[deleted file]	blob \| history
helm/papers/calculemus-2003/outline.txt	[deleted file]	blob \| history
helm/papers/calculemus-2003/referaggio_hbugs.txt	[deleted file]	blob \| history
helm/papers/calculemus-2003/referaggio_hbugs_short.txt	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/Makefile	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/advilogo.anim.gif	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/bar.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/hbugsArch-slides.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/hbugsInterfaces-slides.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/helmHttpDeps-slides.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/helmLogic-slides.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/helmLogic.png	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/helmLogo-slides.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/logo.jpg	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/thatsall-slides.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/thatsall.gif	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/helm.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/misc/hint2.xml	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/misc/messages.dia	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/misc/startmusing.xml	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/show.dvi	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/show.tex	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/slides.tex	[deleted file]	blob \| history
helm/papers/calculemus-2003/stamp.pro	[deleted file]	blob \| history
helm/papers/matita/.cvsignore	[deleted file]	blob \| history
helm/papers/matita/Makefile	[deleted file]	blob \| history
helm/papers/matita/ed.sty	[deleted file]	blob \| history
helm/papers/matita/klu10.clo	[deleted file]	blob \| history
helm/papers/matita/klu105.clo	[deleted file]	blob \| history
helm/papers/matita/klu11.clo	[deleted file]	blob \| history
helm/papers/matita/klu12.clo	[deleted file]	blob \| history
helm/papers/matita/klu9.clo	[deleted file]	blob \| history
helm/papers/matita/kluedit.sty	[deleted file]	blob \| history
helm/papers/matita/klufloa.sty	[deleted file]	blob \| history
helm/papers/matita/klulist.sty	[deleted file]	blob \| history
helm/papers/matita/klumac.sty	[deleted file]	blob \| history
helm/papers/matita/klumath.sty	[deleted file]	blob \| history
helm/papers/matita/klunamed.bst	[deleted file]	blob \| history
helm/papers/matita/klunote.sty	[deleted file]	blob \| history
helm/papers/matita/klunum.bst	[deleted file]	blob \| history
helm/papers/matita/kluopen.sty	[deleted file]	blob \| history
helm/papers/matita/klups.sty	[deleted file]	blob \| history
helm/papers/matita/kluref.sty	[deleted file]	blob \| history
helm/papers/matita/klusec.sty	[deleted file]	blob \| history
helm/papers/matita/klut10.clo	[deleted file]	blob \| history
helm/papers/matita/klut11.clo	[deleted file]	blob \| history
helm/papers/matita/klut12.clo	[deleted file]	blob \| history
helm/papers/matita/klut9.clo	[deleted file]	blob \| history
helm/papers/matita/klutab.sty	[deleted file]	blob \| history
helm/papers/matita/kluwer-usrman.ps	[deleted file]	blob \| history
helm/papers/matita/kluwer.cls	[deleted file]	blob \| history
helm/papers/matita/matita.bib	[deleted file]	blob \| history
helm/papers/matita/matita2.bbl	[deleted file]	blob \| history
helm/papers/matita/matita2.tex	[deleted file]	blob \| history
helm/papers/matita/pics/cicbrowser-screenshot-browsing.eps	[deleted file]	blob \| history
helm/papers/matita/pics/cicbrowser-screenshot-browsing.png	[deleted file]	blob \| history
helm/papers/matita/pics/cicbrowser-screenshot-con.eps	[deleted file]	blob \| history
helm/papers/matita/pics/cicbrowser-screenshot-con.png	[deleted file]	blob \| history
helm/papers/matita/pics/cicbrowser-screenshot-query.eps	[deleted file]	blob \| history
helm/papers/matita/pics/cicbrowser-screenshot-query.png	[deleted file]	blob \| history
helm/papers/matita/pics/libraries-clusters.dot	[deleted file]	blob \| history
helm/papers/matita/pics/libraries-clusters.png	[deleted file]	blob \| history
helm/papers/matita/pics/libraries-clusters.ps	[deleted file]	blob \| history
helm/papers/matita/pics/matita-screenshot-href.eps	[deleted file]	blob \| history
helm/papers/matita/pics/matita-screenshot-href.png	[deleted file]	blob \| history
helm/papers/matita/pics/matita-screenshot-selection.eps	[deleted file]	blob \| history
helm/papers/matita/pics/matita-screenshot-selection.png	[deleted file]	blob \| history
helm/papers/matita/pics/matita-screenshot.eps	[deleted file]	blob \| history
helm/papers/matita/pics/matita-screenshot.png	[deleted file]	blob \| history
helm/papers/use_case/stats/CANDIDATI	[deleted file]	blob \| history
helm/papers/use_case/stats/Makefile	[deleted file]	blob \| history
helm/papers/use_case/stats/download_candidates.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/download_candidates_c1.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/extract.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/group.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/groups_dependent_depth.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/groups_dependent_size.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/mkdiff.cc	[deleted file]	blob \| history
helm/papers/use_case/stats/mkhtml.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/.cvsignore	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/DOMCount/.cvsignore	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/DOMCount/DOMCount.cpp	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/DOMCount/DOMCount.hpp	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/DOMCount/Makefile	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/DOMCount/Makefile.incl	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/Makefile	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/.cvsignore	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/Makefile	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/Makefile.incl	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/SAX2Print.cpp	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/SAX2Print.hpp	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/SAX2PrintHandlers.cpp	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/SAX2PrintHandlers.hpp	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/parse_expat.c	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/parse_xmlreader.c	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/parse_xmlsax.c	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/parse_xmltree.c	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_time_expat.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_time_libxml2_reader.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_time_libxml2_sax2.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_time_libxml2_tree.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_time_xerces_sax2.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_time_xerces_tree.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_times.gpscript	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_times.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/serialize_into_text.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/stats.cc	[deleted file]	blob \| history
helm/papers/use_case/stats/stats.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_body.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_candidates.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_candidates_c1.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_con.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_ind.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_proof_tree.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_theories.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_types.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_var.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/validating_time_flea.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/validating_time_libxml2_tree.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/validating_time_xerces_sax2.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/validating_time_xerces_tree.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/validating_times.gpscript	[deleted file]	blob \| history
helm/papers/use_case/use_case.tex	[deleted file]	blob \| history
helm/papers/whelp/.cvsignore	[deleted file]	blob \| history
helm/papers/whelp/Makefile	[deleted file]	blob \| history
helm/papers/whelp/TODO	[deleted file]	blob \| history
helm/papers/whelp/architecture.eps	[deleted file]	blob \| history
helm/papers/whelp/architecture.fig	[deleted file]	blob \| history
helm/papers/whelp/architecture_new.dia	[deleted file]	blob \| history
helm/papers/whelp/architecture_new.eps	[deleted file]	blob \| history
helm/papers/whelp/architecture_new.pdf	[deleted file]	blob \| history
helm/papers/whelp/dia/CVS/Entries	[deleted file]	blob \| history
helm/papers/whelp/dia/CVS/Repository	[deleted file]	blob \| history
helm/papers/whelp/dia/CVS/Root	[deleted file]	blob \| history
helm/papers/whelp/dia/zack_01.shape	[deleted file]	blob \| history
helm/papers/whelp/dia/zack_02.shape	[deleted file]	blob \| history
helm/papers/whelp/dia/zack_03.shape	[deleted file]	blob \| history
helm/papers/whelp/disambiguation-1.eps	[deleted file]	blob \| history
helm/papers/whelp/disambiguation-1.pdf	[deleted file]	blob \| history
helm/papers/whelp/disambiguation-1.png	[deleted file]	blob \| history
helm/papers/whelp/disambiguation.eps	[deleted file]	blob \| history
helm/papers/whelp/disambiguation.png	[deleted file]	blob \| history
helm/papers/whelp/engine.dia	[deleted file]	blob \| history
helm/papers/whelp/engine.eps	[deleted file]	blob \| history
helm/papers/whelp/engine_new.dia	[deleted file]	blob \| history
helm/papers/whelp/engine_new.eps	[deleted file]	blob \| history
helm/papers/whelp/engine_new.pdf	[deleted file]	blob \| history
helm/papers/whelp/llncs.cls	[deleted file]	blob \| history
helm/papers/whelp/main.tex	[deleted file]	blob \| history
helm/papers/whelp/match_sin.eps	[deleted file]	blob \| history
helm/papers/whelp/match_sin.pdf	[deleted file]	blob \| history
helm/papers/whelp/match_sin.png	[deleted file]	blob \| history
helm/papers/whelp/moogle.aux	[deleted file]	blob \| history
helm/papers/whelp/moogle.dvi	[deleted file]	blob \| history
helm/papers/whelp/moogle.log	[deleted file]	blob \| history
helm/papers/whelp/moogle.out	[deleted file]	blob \| history
helm/papers/whelp/moogle.tex	[deleted file]	blob \| history
helm/papers/whelp/referaggi/CVS/Entries	[deleted file]	blob \| history
helm/papers/whelp/referaggi/CVS/Repository	[deleted file]	blob \| history
helm/papers/whelp/referaggi/CVS/Root	[deleted file]	blob \| history
helm/papers/whelp/referaggi/RIASSUNTO_CRITICHE_E_SUGGERIMENTI	[deleted file]	blob \| history
helm/papers/whelp/whelp-bw.eps	[deleted file]	blob \| history
helm/papers/whelp/whelp-bw.pdf	[deleted file]	blob \| history
helm/papers/whelp/whelp-bw.svg	[deleted file]	blob \| history
helm/papers/whelp/whelp.ps	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom