Unify examples, figures and definitions.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 20:51:42 +0000 (21:51 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 20:51:42 +0000 (21:51 +0100)
They now all use the same numbering and all have their captions at the
top.


No differences found