David Haller 8cd4dc250e Replaced pdftk with pdfunite ...

pdftk is no longer in repos of recent distributions due to licensing issues, so I replaced it with pdfunite from poppler-utils, which has the same functionality.

2015-10-18 22:07:16 +02:00

..

Media

Added PDF versions for fast Overview and updated Readme

2015-10-12 00:49:46 +02:00

Koinduktion_reduktion.tex

Fixes in Bisimullation

2015-10-09 13:17:16 +02:00

Konfluenz.tex

small fixes

2015-10-09 15:20:44 +02:00

Makefile

Replaced pdftk with pdfunite

2015-10-18 22:07:16 +02:00

Polynomordnung.tex

smallfix polyordnung

2015-10-09 15:13:35 +02:00

PumpingLemma.tex

started Konfluenz

2015-10-08 14:17:26 +02:00

Strukturelle_Induktion.tex

small fixes

2015-10-09 15:20:44 +02:00

SystemF.tex

fixed little mistake in systemF tpyes

2015-10-08 19:40:07 +02:00