11 Commits

Author	SHA1	Message	Date
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
Sheppy	6dad43a678	Bisimulation small changes	2015-10-08 21:44:34 +02:00
Sheppy	bf82659f44	fixed little mistake in systemF tpyes	2015-10-08 19:40:07 +02:00
Sheppy	a56973132c	made latex mk stfu	2015-10-08 15:19:28 +02:00
Sheppy	dc3ee72a39	fix	2015-10-08 15:06:33 +02:00
Sheppy	86f0966d24	.	2015-10-08 11:42:34 +02:00
Sheppy	fa7f73191b	makefile	2015-10-08 11:24:49 +02:00
Sheppy	d3fcf2a149	Makefile updated	2015-10-08 11:20:07 +02:00
Sheppy	b0eec2f644	PumpingLemma commit ... cleanup added to makefile	2015-10-07 23:39:35 +02:00
Sheppy	af741b7ef0	makefile fixed	2015-10-07 21:19:24 +02:00
Sheppy	758ebe0aa0	subfolder rename	2015-10-07 21:10:52 +02:00