Mirror/latexandmore
1
0
Fork 0
mirror of https://gitlab.cs.fau.de/ik15ydit/latexandmore.git synced 2025-02-17 00:37:39 +01:00
Code Issues Projects Releases Wiki Activity
85 Commits 2 Branches 0 Tags
Commit Graph

3 Commits

Author SHA1 Message Date
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