Mercurial > 14ss.theoinf
graph
-
use newer definitionsMon, 28 Apr 2014 12:27:03 +0200, by Markus Kaiser
-
fix powersets; wordingSat, 26 Apr 2014 21:10:36 +0200, by Markus Kaiser
-
second notes and sheetSat, 26 Apr 2014 17:50:08 +0200, by Markus Kaiser
-
fix group numbersThu, 24 Apr 2014 09:04:24 +0200, by Markus Kaiser
-
show computability and decidability slidesMon, 14 Apr 2014 20:02:03 +0200, by Markus Kaiser
-
new buildMon, 14 Apr 2014 20:01:38 +0200, by Markus Kaiser
-
use structures instead of alertsMon, 14 Apr 2014 12:11:00 +0200, by Markus Kaiser
-
first sheet and slide pdfSun, 13 Apr 2014 20:28:12 +0200, by Markus Kaiser
-
ignore local note compilesSun, 13 Apr 2014 20:26:49 +0200, by Markus Kaiser
-
first slidesSun, 13 Apr 2014 20:22:34 +0200, by Markus Kaiser
-
use new style; merge preamblesSun, 13 Apr 2014 17:11:29 +0200, by Markus Kaiser
-
add old slidesSun, 13 Apr 2014 17:07:23 +0200, by Markus Kaiser
-
add .hgignoreSun, 13 Apr 2014 16:54:15 +0200, by Markus Kaiser