\url command in util.ht

[Ralf Hemmecke]

Hi Waldek,

I just saw that you have silently introduced an \url command int util.ht
in a commit that says

Use '\centerline' instead of '\center

Why was the reason for it?

https://github.com/fricas/fricas/commit/b0fd15c3fa01e7b1f016a289485990933a280b79#diff-78ea7283b9141d83b4142153150621f8a3312eb7624f47b8e44fe6565f4d9991

Ralf

[Waldek Hebisch]

'\url' is used in algebra, for example in 'OrientedFacet'. Currenly
HyperDoc in many places tolerates undefined control seqences, but
we should really not depend on this.

--
Waldek Hebisch