log notes/ue07_notes.pdf @ 50:25651c6dba7c

age author description
Thu, 11 Jul 2013 23:46:00 +0200 Markus Kaiser recompile
Thu, 11 Jul 2013 22:25:48 +0200 Markus Kaiser recompile everything; add all notes in one file
Tue, 02 Jul 2013 14:16:16 +0200 Markus Kaiser change mapsto to to arrows
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
Mon, 10 Jun 2013 23:21:11 +0200 Markus Kaiser ue07 notes