Re: things to do before 1.1.5

[Dekel Tsur]

Here is another small patch.
It prevents errors if you use prettyref with a label in incorrect format
(type:namel) by replacing the prettyref by a regular \ref command in the
latex output.

patch.gz