129 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Sheppy	54d6550fc1	Merge branch 'master' of github.com:FAUSheppy/Uni_Latex	2015-10-19 17:09:21 +02:00
Sheppy	7faa0241c9	intruduced tkitz and removed postscripts should compile with normal latxmk now	2015-10-19 17:08:39 +02:00
FAUSheppy	1257dd98e3	Merge pull request #5 from davidhaller/patch-1 ... Replaced pdftk with pdfunite	2015-10-18 22:50:04 +02:00
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	3565b1c745	fixed from alt to ctrl	2015-10-15 16:00:12 +02:00
Sheppy	77b8c65180	more typos	2015-10-15 11:09:44 +02:00
Sheppy	0805bfd3e0	readmefixed	2015-10-15 11:07:37 +02:00
Sheppy	79fe1a8f39	readm for spring lua added	2015-10-15 11:06:03 +02:00
Sheppy	e383773ad3	added alt override ... cleaned up code	2015-10-15 10:59:37 +02:00
Sheppy	8fe2eb0dc6	fixed lua	2015-10-15 00:22:25 +02:00
Sheppy	4f0a2bc5ad	Spring script added	2015-10-14 21:45:36 +02:00
Sheppy	0162021e82	Rk loesungen weitergemacht	2015-10-14 21:44:38 +02:00
Sheppy	f4bc64cdbe	readme	2015-10-14 14:18:47 +02:00
Sheppy	d228af0b70	Merge branch 'master' of github.com:FAUSheppy/Uni_Latex ... Conflicts: README.md	2015-10-14 14:17:01 +02:00
Sheppy	ad8deb1fca	git fix	2015-10-14 14:11:07 +02:00
Sheppy	1333fffbdf	small fixes and updates Readme and gitignore	2015-10-14 14:00:11 +02:00
FAUSheppy	36223bf3b6	Merge pull request #4 from schokocappucino/master ... typos	2015-10-12 13:28:17 +02:00
Chris Hinze	970dce1d1a	typo	2015-10-12 12:57:13 +02:00
greeny	8ae528a6d5	Merge pull request #3 from schokocappucino/master ... improved markdown readme	2015-10-12 12:56:54 +02:00
Chris Hinze	2511d7e4e1	improved readme	2015-10-12 12:55:28 +02:00
Chris Hinze	c18293bda3	improved readme	2015-10-12 12:54:43 +02:00
Sheppy	6b6eee69c5	readme fixed	2015-10-12 00:54:28 +02:00
Sheppy	dd6135d748	Added PDF versions for fast Overview and updated Readme	2015-10-12 00:49:46 +02:00
Sheppy	df6e4daed0	small fixes	2015-10-09 15:20:44 +02:00
Sheppy	0d92cf4b92	smallfix polyordnung	2015-10-09 15:13:35 +02:00
Sheppy	638aac2933	.gitignore updated	2015-10-09 13:20:06 +02:00
Sheppy	5ff1f0ab28	Fixes in Bisimullation	2015-10-09 13:17:16 +02:00
Sheppy	b6b6c527cf	Braindumaufgabe added	2015-10-08 22:41:09 +02:00
Sheppy	da0d61be9d	f	2015-10-08 22:08:51 +02:00
Sheppy	a4b8efa672	fixes	2015-10-08 22:07:29 +02:00
Sheppy	6dad43a678	Bisimulation small changes	2015-10-08 21:44:34 +02:00
Sheppy	f633d257e9	spacefix	2015-10-08 20:58:43 +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	d2d4cfd51b	fixes	2015-10-08 15:15:34 +02:00
Sheppy	dc3ee72a39	fix	2015-10-08 15:06:33 +02:00
Sheppy	11552bd5af	Konfluenz fertig	2015-10-08 14:35:00 +02:00
Sheppy	43da8a85f1	started Konfluenz ... fixed missing negation in pumping lemma	2015-10-08 14:17:26 +02:00
Sheppy	1ecbe50259	small fixes	2015-10-08 12:07:30 +02:00
Sheppy	51fd2bba20	fail restored	2015-10-08 11:48:20 +02:00
Sheppy	86f0966d24	.	2015-10-08 11:42:34 +02:00
FAUSheppy	18c7166315	Create README.md	2015-10-08 11:28:04 +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	8752cdd412	finalized Pumping Lemma ... changed titlelayout and pagebreaks in multiple documents	2015-10-08 10:45:48 +02:00
Sheppy	b0eec2f644	PumpingLemma commit ... cleanup added to makefile	2015-10-07 23:39:35 +02:00
Sheppy	d6ce457287	new file: PumpingLemma.tex ... modified: SystemF.tex	2015-10-07 23:00:28 +02:00
Sheppy	295cd170a1	System F mostly done	2015-10-07 22:40:22 +02:00
Sheppy	3998c4330c	modified: SystemF.tex	2015-10-07 21:23:07 +02:00
Sheppy	af741b7ef0	makefile fixed	2015-10-07 21:19:24 +02:00