[PATCH] Minipage

[Juergen Spitzmueller]

One for Angus...
Now that the box inset superceeded minipage, it can theoretically be removed 
(or should we wait a bit)?

Jürgen.

minipage.diff.gz
Description: GNU Zip compressed data