| Tue, 30 Jul 2013 14:32:43 +0200 |
Markus Kaiser |
rewrite ambiguous slide
default tip
|
| Tue, 23 Jul 2013 00:51:34 +0200 |
Markus Kaiser |
remove duplicate definition
|
| Mon, 22 Jul 2013 23:57:46 +0200 |
Markus Kaiser |
compile
|
| Mon, 22 Jul 2013 23:56:37 +0200 |
Markus Kaiser |
ue13 notes
|
| Mon, 15 Jul 2013 23:54:45 +0200 |
Markus Kaiser |
recompile
|
| Mon, 15 Jul 2013 23:51:55 +0200 |
Markus Kaiser |
ue12 notes
|
| Mon, 15 Jul 2013 23:51:34 +0200 |
Markus Kaiser |
last sheet
|
| Mon, 15 Jul 2013 13:46:03 +0200 |
Markus Kaiser |
fix wrong intuition, thanks max!
|
| Thu, 11 Jul 2013 23:46:00 +0200 |
Markus Kaiser |
recompile
|
| Thu, 11 Jul 2013 23:38:43 +0200 |
Markus Kaiser |
fix some more errors; reorganize complete notes
|
| Thu, 11 Jul 2013 23:14:17 +0200 |
Markus Kaiser |
add README
|
| Thu, 11 Jul 2013 22:25:48 +0200 |
Markus Kaiser |
recompile everything; add all notes in one file
|
| Thu, 11 Jul 2013 22:07:24 +0200 |
Markus Kaiser |
ignore latexmk files
|
| Thu, 11 Jul 2013 22:06:34 +0200 |
Markus Kaiser |
small fixes
|
| Thu, 11 Jul 2013 22:06:26 +0200 |
Markus Kaiser |
transition notes
|
| Thu, 11 Jul 2013 21:57:50 +0200 |
Markus Kaiser |
add missing slides; correct some errors
|
| Thu, 11 Jul 2013 21:25:21 +0200 |
Markus Kaiser |
use beamer templates to define units; missing slide added
|
| Thu, 11 Jul 2013 20:42:36 +0200 |
Markus Kaiser |
move frame-definitions out of presentations
|
| Thu, 11 Jul 2013 20:42:11 +0200 |
Markus Kaiser |
fix error in pcp
|
| Mon, 08 Jul 2013 23:41:59 +0200 |
Markus Kaiser |
ue11 notes
|
| Mon, 08 Jul 2013 23:41:52 +0200 |
Markus Kaiser |
more sheets
|
| Tue, 02 Jul 2013 14:16:16 +0200 |
Markus Kaiser |
change mapsto to to arrows
|
| Tue, 02 Jul 2013 00:59:43 +0200 |
Markus Kaiser |
ue10 notes
|
| Tue, 25 Jun 2013 14:27:47 +0200 |
Markus Kaiser |
move frame down; minor erros
|
| Tue, 25 Jun 2013 00:11:39 +0200 |
Markus Kaiser |
ue09 notes
|
| Tue, 25 Jun 2013 00:11:35 +0200 |
Markus Kaiser |
additional sheets
|
| Mon, 17 Jun 2013 23:59:22 +0200 |
Markus Kaiser |
ue08 notes
|
| Tue, 11 Jun 2013 16:21:06 +0200 |
Markus Kaiser |
use common preamble
|
| Mon, 10 Jun 2013 23:54:54 +0200 |
Markus Kaiser |
allow epsilon-edges in PDAs
|
| Mon, 10 Jun 2013 23:39:36 +0200 |
Markus Kaiser |
add small example to pda definition
|
