Mercurial > 13ws.ds
log
age | author | description |
---|---|---|
Thu, 10 Apr 2014 00:10:18 +0200 | Markus Kaiser | be more precise than "predicate logic" |
Tue, 25 Feb 2014 00:26:19 +0100 | Markus Kaiser | nicer euklid; ue15 notes |
Sat, 15 Feb 2014 17:57:11 +0100 | Markus Kaiser | rebuild pdfs |