Mercurial > 13ss.theoinf
graph
-
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
-
ue07 notesMon, 10 Jun 2013 23:21:11 +0200, by Markus Kaiser
-
add more sheetsMon, 10 Jun 2013 20:06:43 +0200, by Markus Kaiser
-
fix typoMon, 10 Jun 2013 20:05:16 +0200, by Markus Kaiser
-
ue06 notesTue, 04 Jun 2013 00:23:37 +0200, by Markus Kaiser
-
seehts 5 and 6Tue, 28 May 2013 00:03:27 +0200, by Markus Kaiser
-
ue05 notesTue, 28 May 2013 00:03:00 +0200, by Markus Kaiser
-
Automated merge with ssh://hg/13ss.theoinfMon, 13 May 2013 23:19:47 +0200, by Markus Kaiser
-
ue04 notesMon, 13 May 2013 23:19:33 +0200, by Markus Kaiser
-
ignore presentation notesMon, 13 May 2013 23:19:02 +0200, by Markus Kaiser
-
fix error in theoremMon, 13 May 2013 23:18:29 +0200, by Markus Kaiser
-
remove feedback slide; correct errorsTue, 07 May 2013 15:58:06 +0200, by Markus Kaiser
-
regex simplifierTue, 07 May 2013 00:10:38 +0200, by Markus Kaiser
-
Automated merge with ssh://hg/13ss.theoinfMon, 06 May 2013 23:42:11 +0200, by Markus Kaiser
-
ue03 notesMon, 06 May 2013 23:42:01 +0200, by Markus Kaiser
-
next 2 sheetsMon, 06 May 2013 23:18:54 +0200, by Markus Kaiser
-
mergeTue, 30 Apr 2013 14:22:18 +0200, by Tobias Gurdan
-
add carlos linkTue, 30 Apr 2013 00:13:30 +0200, by Tobias Gurdan
-
missing edgeTue, 30 Apr 2013 02:17:20 +0200, by Markus Kaiser
-
missing accepting stateTue, 30 Apr 2013 01:59:25 +0200, by Markus Kaiser
-
Automated merge with ssh://hg/13ss.theoinfTue, 30 Apr 2013 01:32:17 +0200, by Markus Kaiser
-
ue02 notesTue, 30 Apr 2013 01:32:12 +0200, by Markus Kaiser
-
exact times; titleTue, 30 Apr 2013 01:31:39 +0200, by Markus Kaiser
-
add website linkThu, 25 Apr 2013 18:26:02 +0200, by Tobias Gurdan
-
merge headsThu, 25 Apr 2013 13:29:39 +0200, by Tobias Gurdan
-
add linksThu, 25 Apr 2013 13:28:55 +0200, by Tobias Gurdan
-
add organisatorical slideWed, 24 Apr 2013 09:18:03 +0200, by Markus Kaiser
-
ue01 notesTue, 23 Apr 2013 00:08:00 +0200, by Markus Kaiser
-
add tex hgignoreTue, 23 Apr 2013 00:06:14 +0200, by Markus Kaiser
-
add sheets 1 and 2Mon, 22 Apr 2013 15:13:39 +0200, by Markus Kaiser