| Sat, 25 Jan 2014 23:50:49 +0100 | haftmann | prefer explicit code symbol type over ad-hoc name mangling | file | diff | annotate |
| Sat, 27 Jul 2013 21:21:47 +0200 | wenzelm | more direct inclusion of tikz pictures; | file | diff | annotate |
| Mon, 15 Jul 2013 20:13:30 +0200 | wenzelm | prefer @{file} references that are actually checked; | file | diff | annotate |
| 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 |