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
|