log

age author description
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
Mon, 10 Jun 2013 23:21:11 +0200 Markus Kaiser ue07 notes
Mon, 10 Jun 2013 20:06:43 +0200 Markus Kaiser add more sheets
Mon, 10 Jun 2013 20:05:16 +0200 Markus Kaiser fix typo
Tue, 04 Jun 2013 00:23:37 +0200 Markus Kaiser ue06 notes
Tue, 28 May 2013 00:03:27 +0200 Markus Kaiser seehts 5 and 6
Tue, 28 May 2013 00:03:00 +0200 Markus Kaiser ue05 notes
Mon, 13 May 2013 23:19:47 +0200 Markus Kaiser Automated merge with ssh://hg/13ss.theoinf
Mon, 13 May 2013 23:19:33 +0200 Markus Kaiser ue04 notes
Mon, 13 May 2013 23:19:02 +0200 Markus Kaiser ignore presentation notes
Mon, 13 May 2013 23:18:29 +0200 Markus Kaiser fix error in theorem
Tue, 07 May 2013 15:58:06 +0200 Markus Kaiser remove feedback slide; correct errors
Tue, 07 May 2013 00:10:38 +0200 Markus Kaiser regex simplifier
Mon, 06 May 2013 23:42:11 +0200 Markus Kaiser Automated merge with ssh://hg/13ss.theoinf
Mon, 06 May 2013 23:42:01 +0200 Markus Kaiser ue03 notes
Mon, 06 May 2013 23:18:54 +0200 Markus Kaiser next 2 sheets
Tue, 30 Apr 2013 14:22:18 +0200 Tobias Gurdan merge
Tue, 30 Apr 2013 00:13:30 +0200 Tobias Gurdan add carlos link
Tue, 30 Apr 2013 02:17:20 +0200 Markus Kaiser missing edge
Tue, 30 Apr 2013 01:59:25 +0200 Markus Kaiser missing accepting state
Tue, 30 Apr 2013 01:32:17 +0200 Markus Kaiser Automated merge with ssh://hg/13ss.theoinf
Tue, 30 Apr 2013 01:32:12 +0200 Markus Kaiser ue02 notes
Tue, 30 Apr 2013 01:31:39 +0200 Markus Kaiser exact times; title
Thu, 25 Apr 2013 18:26:02 +0200 Tobias Gurdan add website link
Thu, 25 Apr 2013 13:29:39 +0200 Tobias Gurdan merge heads
Thu, 25 Apr 2013 13:28:55 +0200 Tobias Gurdan add links
Wed, 24 Apr 2013 09:18:03 +0200 Markus Kaiser add organisatorical slide
Tue, 23 Apr 2013 00:08:00 +0200 Markus Kaiser ue01 notes
Tue, 23 Apr 2013 00:06:14 +0200 Markus Kaiser add tex hgignore
Mon, 22 Apr 2013 15:13:39 +0200 Markus Kaiser add sheets 1 and 2