Fri, 09 May 2014 11:28:33 +0200 |
Markus Kaiser |
rename automata file; add complete notes
|
Mon, 05 May 2014 14:41:06 +0200 |
Markus Kaiser |
better block description
|
Sat, 03 May 2014 22:49:43 +0200 |
Markus Kaiser |
third sheet and notes
|
Mon, 28 Apr 2014 12:27:03 +0200 |
Markus Kaiser |
use newer definitions
|
Sat, 26 Apr 2014 21:10:36 +0200 |
Markus Kaiser |
fix powersets; wording
|
Sat, 26 Apr 2014 17:50:08 +0200 |
Markus Kaiser |
second notes and sheet
|
Thu, 24 Apr 2014 09:04:24 +0200 |
Markus Kaiser |
fix group numbers
|
Mon, 14 Apr 2014 20:02:03 +0200 |
Markus Kaiser |
show computability and decidability slides
|
Mon, 14 Apr 2014 20:01:38 +0200 |
Markus Kaiser |
new build
|
Mon, 14 Apr 2014 12:11:00 +0200 |
Markus Kaiser |
use structures instead of alerts
|
Sun, 13 Apr 2014 20:28:12 +0200 |
Markus Kaiser |
first sheet and slide pdf
|
Sun, 13 Apr 2014 20:26:49 +0200 |
Markus Kaiser |
ignore local note compiles
|
Sun, 13 Apr 2014 20:22:34 +0200 |
Markus Kaiser |
first slides
|
Sun, 13 Apr 2014 17:11:29 +0200 |
Markus Kaiser |
use new style; merge preambles
|
Sun, 13 Apr 2014 17:07:23 +0200 |
Markus Kaiser |
add old slides
|
Sun, 13 Apr 2014 16:54:15 +0200 |
Markus Kaiser |
add .hgignore
|