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