| Sun, 05 Dec 2010 13:42:58 +0100 | wenzelm | prefer 'notepad' over 'example_proof'; | file | diff | annotate |
| Thu, 11 Nov 2010 13:07:41 +0100 | wenzelm | reduced danger of line breaks within minipage; | file | diff | annotate |
| Mon, 26 Apr 2010 21:50:28 +0200 | wenzelm | use 'example_proof' (invisible); | file | diff | annotate |