Schreibe Dein Programm!
TeX
Latest commit d55629d Jan 23, 2017 @mikesperber mikesperber Kleinere Korrekturen.
Permalink
Failed to load latest commit information.
i1gem
i1prog
i1zus
invert-calls.numbers
.gitignore
QED.sty
README.md
abbrevs.bib
church-rosser.eps
church-rosser.fig
circle.eps
circle.png
computer.eps
computer.svg
i1.bib
i1.mst
i1.tex
i1akku.tex
i1calc.tex
i1cover.tex
i1elem.tex
i1gem.tex
i1hop.tex
i1indu.tex
i1lambda.tex
i1list.tex
i1math.tex
i1prog.tex
i1prop.tex
i1refinement.tex
i1rek2.tex
i1rekzahlen.tex
i1secd.tex
i1tree.tex
i1verzw.tex
i1vorw.tex
i1world.tex
i1zus.tex
i1zust.tex
invert-calls.eps
mantra:abstraction.tex
mantra:comprehensive-tests.tex
mantra:contract.tex
mantra:coverage.tex
mantra:data-analysis.tex
mantra:local-variables.tex
mantra:names.tex
mantra:structure.tex
mantra:subproblems.tex
mantra:test
pair-lists1.eps
pair-lists1.svg
pair-lists2.eps
pair-lists2.svg
prooftree.sty
riverboat.pdf
square.eps
square.png
starpolygon.eps
starpolygon.png
suftesi.cls

README.md

Schreibe Dein Programm!

Dies sind die Quellen zum Buch "Schreibe Dein Programm!" von Herbert Klaeren und Michael Sperber.

Die Webseite zum Buch ist bei:

http://deinprogramm.de/

PDF erzeugen

Das Buch ist in LaTeX geschrieben.

Zum Bauen sind folgende Befehle notwendig:

touch includeonly.tex
pdflatex i1
bibtex i1
pdflatex i1

Dann muß leider i1.idx manuell bearbeitet werden:

  • \" muß durch " ersetzt werden
  • \eingebaut muß durch eingebaut ersetzt werden

Dann geht es weiter:

makeindex -c -s i1.mst -g i1
pdflatex i1

Fertig ist das Buch in i1.pdf.

Wer aktiv am Buch schreibt, mag u.U. ein includeonly-Statement in includeonly.tex schreiben, damit nicht immer alles geTeXt wird.

Lizenz

Dieses Buch ist lizensiert unter der Creative-Commons-Lizenz Namensnennung 4.0 International (CC BY 4.0).