Thu, 01 Jul 2010 16:54:44 +0200 | haftmann | "prod" and "sum" replace "*" and "+" respectively | file | diff | annotate |
Wed, 12 May 2010 14:17:26 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
Sun, 24 Aug 2008 14:42:24 +0200 | haftmann | default replaces arbitrary | file | diff | annotate |
Tue, 13 Nov 2007 10:58:46 +0100 | berghofe | New case studies for program extraction. | file | diff | annotate |