From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 2 Sep 2019 13:46:59 +0900 Subject: Initial commit --- web/spiderweb/doc/spe.aux | 70 +++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 70 insertions(+) create mode 100644 web/spiderweb/doc/spe.aux (limited to 'web/spiderweb/doc/spe.aux') diff --git a/web/spiderweb/doc/spe.aux b/web/spiderweb/doc/spe.aux new file mode 100644 index 0000000000..c2471f652f --- /dev/null +++ b/web/spiderweb/doc/spe.aux @@ -0,0 +1,70 @@ +\relax +\citation{knuth:literate} +\citation{bentley:lp1,bentley:lp2,cvw:loom,gries:pearls} +\citation{knuth:tex,knuth:metafont} +\citation{bentley:lp1,bentley:lp2} +\citation{cvw:loom} +\citation{gries:pearls} +\citation{cvw:assessment} +\citation{thimbleby:review} +\citation{knuth:literate,thimbleby:cweb,guntermann:cweb,levy:cweb,sewell:mangle,ramsey:building} +\@writefile{toc}{\string\contentsline\space {section}{Introduction}{2}} +\citation{knuth:literate} +\citation{ramsey:developing,marceau:interactive,guaspari:formal} +\citation{reps:synthesizer:89} +\citation{reps:generating} +\citation{adalrm,polak:predicate} +\citation{marceau:verified,weber:beyond,anderson:asos} +\@writefile{toc}{\string\contentsline\space {section}{Using Literate Programming}{3}} +\citation{polak:predicate,polak:program} +\citation{adalrm} +\citation{ganzinger:operator} +\citation{cvw:assessment} +\citation{thimbleby:review} +\citation{bentley:more-pearls:graphics,bentley:lp2,sedgewick:algorithms} +\@writefile{toc}{\string\contentsline\space {section}{Evaluating {\string\ptt\space WEB}}{5}} +\citation{knuth:tex} +\citation{feldman:make} +\citation{johnson:yacc} +\citation{kernighan:unix} +\citation{ramsey:spiderwebman} +\citation{thimbleby:review} +\citation{parnas:rational} +\@writefile{toc}{\string\contentsline\space {section}{Discussion}{9}} +\citation{reps:synthesizer:89} +\bibstyle{unsrt} +\bibdata{web,ada,cs,ramsey} +\bibcite{knuth:literate}{1} +\bibcite{bentley:lp1}{2} +\bibcite{bentley:lp2}{3} +\bibcite{cvw:loom}{4} +\bibcite{gries:pearls}{5} +\bibcite{knuth:tex}{6} +\bibcite{knuth:metafont}{7} +\bibcite{cvw:assessment}{8} +\@writefile{toc}{\string\contentsline\space {section}{Acknowledgments}{11}} +\bibcite{thimbleby:review}{9} +\bibcite{thimbleby:cweb}{10} +\bibcite{guntermann:cweb}{11} +\bibcite{levy:cweb}{12} +\bibcite{sewell:mangle}{13} +\bibcite{ramsey:building}{14} +\bibcite{ramsey:developing}{15} +\bibcite{marceau:interactive}{16} +\bibcite{guaspari:formal}{17} +\bibcite{reps:synthesizer:89}{18} +\bibcite{reps:generating}{19} +\bibcite{adalrm}{20} +\bibcite{polak:predicate}{21} +\bibcite{marceau:verified}{22} +\bibcite{weber:beyond}{23} +\bibcite{anderson:asos}{24} +\bibcite{polak:program}{25} +\bibcite{ganzinger:operator}{26} +\bibcite{bentley:more-pearls:graphics}{27} +\bibcite{sedgewick:algorithms}{28} +\bibcite{feldman:make}{29} +\bibcite{johnson:yacc}{30} +\bibcite{kernighan:unix}{31} +\bibcite{ramsey:spiderwebman}{32} +\bibcite{parnas:rational}{33} -- cgit v1.2.3