Mercurial > 13ss.theoinf
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 |