Mercurial > 13ss.theoinf
graph
-
remove duplicate definitionTue, 23 Jul 2013 00:51:34 +0200, by Markus Kaiser
-
compileMon, 22 Jul 2013 23:57:46 +0200, by Markus Kaiser
-
ue13 notesMon, 22 Jul 2013 23:56:37 +0200, by Markus Kaiser
-
recompileMon, 15 Jul 2013 23:54:45 +0200, by Markus Kaiser
-
ue12 notesMon, 15 Jul 2013 23:51:55 +0200, by Markus Kaiser
-
last sheetMon, 15 Jul 2013 23:51:34 +0200, by Markus Kaiser
-
fix wrong intuition, thanks max!Mon, 15 Jul 2013 13:46:03 +0200, by Markus Kaiser
-
recompileThu, 11 Jul 2013 23:46:00 +0200, by Markus Kaiser
-
fix some more errors; reorganize complete notesThu, 11 Jul 2013 23:38:43 +0200, by Markus Kaiser
-
add READMEThu, 11 Jul 2013 23:14:17 +0200, by Markus Kaiser
-
recompile everything; add all notes in one fileThu, 11 Jul 2013 22:25:48 +0200, by Markus Kaiser
-
ignore latexmk filesThu, 11 Jul 2013 22:07:24 +0200, by Markus Kaiser
-
small fixesThu, 11 Jul 2013 22:06:34 +0200, by Markus Kaiser
-
transition notesThu, 11 Jul 2013 22:06:26 +0200, by Markus Kaiser
-
add missing slides; correct some errorsThu, 11 Jul 2013 21:57:50 +0200, by Markus Kaiser
-
use beamer templates to define units; missing slide addedThu, 11 Jul 2013 21:25:21 +0200, by Markus Kaiser
-
move frame-definitions out of presentationsThu, 11 Jul 2013 20:42:36 +0200, by Markus Kaiser
-
fix error in pcpThu, 11 Jul 2013 20:42:11 +0200, by Markus Kaiser
-
ue11 notesMon, 08 Jul 2013 23:41:59 +0200, by Markus Kaiser
-
more sheetsMon, 08 Jul 2013 23:41:52 +0200, by Markus Kaiser
-
change mapsto to to arrowsTue, 02 Jul 2013 14:16:16 +0200, by Markus Kaiser
-
ue10 notesTue, 02 Jul 2013 00:59:43 +0200, by Markus Kaiser
-
move frame down; minor errosTue, 25 Jun 2013 14:27:47 +0200, by Markus Kaiser
-
ue09 notesTue, 25 Jun 2013 00:11:39 +0200, by Markus Kaiser
-
additional sheetsTue, 25 Jun 2013 00:11:35 +0200, by Markus Kaiser
-
ue08 notesMon, 17 Jun 2013 23:59:22 +0200, by Markus Kaiser
-
use common preambleTue, 11 Jun 2013 16:21:06 +0200, by Markus Kaiser
-
allow epsilon-edges in PDAsMon, 10 Jun 2013 23:54:54 +0200, by Markus Kaiser
-
add small example to pda definitionMon, 10 Jun 2013 23:39:36 +0200, by Markus Kaiser