log

age author description
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
Tue, 17 Dec 2013 00:56:39 +0100 Markus Kaiser grammar; typo
Tue, 17 Dec 2013 00:19:31 +0100 Markus Kaiser linebreak
Tue, 17 Dec 2013 00:18:32 +0100 Markus Kaiser consistency
Tue, 17 Dec 2013 00:15:14 +0100 Markus Kaiser be less ambiguous about matrix sums
Mon, 16 Dec 2013 22:35:38 +0100 Markus Kaiser nineth sheet and notes
Tue, 10 Dec 2013 11:59:09 +0100 Markus Kaiser wrong pdf
Tue, 10 Dec 2013 01:58:46 +0100 Markus Kaiser eigth sheet and notes
Mon, 02 Dec 2013 23:41:32 +0100 Markus Kaiser change title to something actually describing the content
Mon, 02 Dec 2013 23:36:05 +0100 Markus Kaiser seventh slides and sheet
Mon, 02 Dec 2013 23:35:45 +0100 Markus Kaiser add complete notes tex file without build
Mon, 02 Dec 2013 23:35:33 +0100 Markus Kaiser rebuild
Mon, 02 Dec 2013 23:35:26 +0100 Markus Kaiser reorganize units; fix spacing in calculus rules; fix small old errors
Mon, 02 Dec 2013 11:04:23 +0100 Markus Kaiser rebuild with new font
Mon, 02 Dec 2013 11:03:00 +0100 Markus Kaiser center logo a bit more
Mon, 02 Dec 2013 10:53:29 +0100 Markus Kaiser smaller logo; fix frametitle; bitsream vera font
Mon, 02 Dec 2013 10:52:41 +0100 Markus Kaiser typo
Mon, 25 Nov 2013 23:20:13 +0100 Markus Kaiser fix arrows in early slides
Mon, 25 Nov 2013 23:16:14 +0100 Markus Kaiser fix minor errors; sixth slides and sheet
Tue, 19 Nov 2013 14:56:59 +0100 Markus Kaiser rebuild
Tue, 19 Nov 2013 14:55:58 +0100 Markus Kaiser fix neg elimination
Mon, 18 Nov 2013 23:53:41 +0100 Markus Kaiser fix alignment issue
Mon, 18 Nov 2013 23:49:37 +0100 Markus Kaiser fifth slides and sheet
Mon, 18 Nov 2013 15:20:06 +0100 Markus Kaiser fix compilation errors
Mon, 18 Nov 2013 15:12:27 +0100 Markus Kaiser move logic to own file
Sat, 16 Nov 2013 19:05:35 +0100 Markus Kaiser trailing whitespace
Wed, 13 Nov 2013 14:33:22 +0100 Markus Kaiser fix error in equivalences
Tue, 12 Nov 2013 00:34:55 +0100 Markus Kaiser fourth slides and sheet
Tue, 12 Nov 2013 00:34:37 +0100 Markus Kaiser use consistent implication arrow
Wed, 06 Nov 2013 13:54:00 +0100 Markus Kaiser hopefully fix compilation error in funktionen unit
Tue, 05 Nov 2013 00:41:39 +0100 Markus Kaiser Merge
Tue, 05 Nov 2013 00:03:44 +0100 Markus Kaiser fix dimen error
Tue, 05 Nov 2013 00:02:23 +0100 Markus Kaiser third slides and sheet
Tue, 05 Nov 2013 00:02:11 +0100 Markus Kaiser move example graph into example block
Sun, 03 Nov 2013 19:29:18 +0100 Markus Kaiser add solution to exercise 02.03
Tue, 29 Oct 2013 00:15:10 +0100 Markus Kaiser nicer defeq
Mon, 28 Oct 2013 22:27:22 +0100 Markus Kaiser week two pdfs
Mon, 28 Oct 2013 22:26:39 +0100 Markus Kaiser remove navigation symbols
Mon, 28 Oct 2013 22:24:22 +0100 Markus Kaiser second slides
Tue, 22 Oct 2013 00:24:27 +0200 Markus Kaiser add compilate
Tue, 22 Oct 2013 00:24:07 +0200 Markus Kaiser add missing math context
Mon, 21 Oct 2013 20:29:08 +0200 Markus Kaiser finish first slides
Sun, 20 Oct 2013 16:30:56 +0200 Markus Kaiser first sheet
Sun, 20 Oct 2013 16:30:48 +0200 Markus Kaiser add basic theme; first slides
Sun, 20 Oct 2013 13:14:16 +0200 Markus Kaiser add hgignore