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
|