| Sat, 03 Oct 2009 19:10:23 +0200 |
Christian Urban |
more work
|
file |
diff |
annotate
|
| Thu, 20 Aug 2009 22:30:20 +0200 |
Christian Urban |
further polishing of index generation
|
file |
diff |
annotate
|
| Wed, 19 Aug 2009 00:49:40 +0200 |
Christian Urban |
added exercise
|
file |
diff |
annotate
|
| Mon, 03 Aug 2009 13:53:04 +0200 |
Christian Urban |
removed rail; added external aux-files
|
file |
diff |
annotate
|
| Fri, 31 Jul 2009 19:10:39 +0200 |
Christian Urban |
renamed pictures
|
file |
diff |
annotate
|
| Tue, 28 Jul 2009 12:11:33 +0200 |
Christian Urban |
slightly changed exercises about rev_sum
|
file |
diff |
annotate
|
| Sat, 30 May 2009 23:58:05 +0200 |
Christian Urban |
corrected index references and minor polishing
|
file |
diff |
annotate
|
| Sat, 30 May 2009 17:40:20 +0200 |
Christian Urban |
added some first index-information
|
file |
diff |
annotate
|
| Sat, 30 May 2009 11:12:46 +0200 |
Christian Urban |
added infrastructure for index; antiquotations have now the options [index] and [indexc]
|
file |
diff |
annotate
|
| Sat, 09 May 2009 13:55:25 +0200 |
Christian Urban |
added more to the pretty section and updated the acknowledgements
|
file |
diff |
annotate
|
| Tue, 05 May 2009 03:21:49 +0200 |
Christian Urban |
fixed the problem with double definition of even and odd
|
file |
diff |
annotate
|
| Sat, 25 Apr 2009 14:28:58 +0200 |
Christian Urban |
replaced explode by Symbol.explode
|
file |
diff |
annotate
|
| Tue, 31 Mar 2009 20:31:18 +0100 |
Christian Urban |
started to adapt the rest of chapter 5 to the simplified version without parameters (they will be described in the extension section)
|
file |
diff |
annotate
|
| Fri, 27 Mar 2009 12:49:28 +0000 |
Christian Urban |
more work on simple inductive and marked all sections that are still seriously incomplete with TBD
|
file |
diff |
annotate
|
| Thu, 26 Mar 2009 19:00:51 +0000 |
Christian Urban |
more work on the simple inductive section
|
file |
diff |
annotate
|
| Thu, 19 Mar 2009 13:28:16 +0100 |
Christian Urban |
made more of the transition from "CookBook" to "ProgTutorial"
|
file |
diff |
annotate
| base
|