| 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 |