Sat, 15 Jun 2013 17:19:23 +0200 | haftmann | documentation on code_printing and code_identifier | file | diff | annotate |
Sun, 17 Feb 2013 20:45:49 +0100 | haftmann | note on parallel computation | file | diff | annotate |
Sun, 17 Feb 2013 19:39:00 +0100 | haftmann | corrected and clarified Code_Binary_Nat vs. Code_Target_Nat | file | diff | annotate |
Fri, 15 Feb 2013 12:48:20 +0100 | haftmann | dropped now obsolete hint; | file | diff | annotate |
Fri, 15 Feb 2013 11:47:33 +0100 | haftmann | systematic conversions between nat and nibble/char; | file | diff | annotate |
Fri, 15 Feb 2013 08:31:31 +0100 | haftmann | two target language numeral types: integer and natural, as replacement for code_numeral; | file | diff | annotate |
Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |