| Thu, 10 Apr 2014 00:10:34 +0200 |
Markus Kaiser |
Use less dangerous command names
default tip
|
| 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
|
| Thu, 06 Feb 2014 01:16:40 +0100 |
Markus Kaiser |
qualify modulo operations
|
| Sat, 01 Feb 2014 19:22:52 +0100 |
Markus Kaiser |
fourteenth sheet and notes
|
| Tue, 28 Jan 2014 00:42:39 +0100 |
Markus Kaiser |
thirteenth sheet and notes
|
| Mon, 20 Jan 2014 23:32:58 +0100 |
Markus Kaiser |
twelfth sheet and notes
|
| Tue, 14 Jan 2014 00:53:45 +0100 |
Markus Kaiser |
eleventh sheet and notes
|
| Wed, 08 Jan 2014 21:14:44 +0100 |
Markus Kaiser |
first build of complete notes
|
| Wed, 08 Jan 2014 21:13:22 +0100 |
Markus Kaiser |
rebuild everything
|
| Wed, 08 Jan 2014 21:12:37 +0100 |
Markus Kaiser |
wording
|
| Wed, 08 Jan 2014 14:35:21 +0100 |
Markus Kaiser |
remove suprlus bracket; define sane default for beamer cover
|
| Wed, 08 Jan 2014 14:26:02 +0100 |
Markus Kaiser |
remove fairly useless setbeamercovered
|
| Mon, 06 Jan 2014 18:09:07 +0100 |
Markus Kaiser |
tenth sheet and notes
|
