| Mon, 22 Aug 2011 12:49:27 +0000 | urbanc | changes according to afp-submission | file | diff | annotate |
| Wed, 18 May 2011 19:54:43 +0000 | urbanc | added directory for journal version; took uptodate version of the theory files | file | diff | annotate |
| Mon, 07 Feb 2011 11:12:36 +0000 | urbanc | added an option fullpaper to IsaMakefile | file | diff | annotate |