Skip to content

haavee's changes/remarks

John Swinbank requested to merge haavee-blurbs into trunk

Some remarks have been placed inline in a highlighted box using the new \haavee{} command.

The text of the deliverable can easily be rid of those by redefining the \haavee{} command to be a no-op, effectively discarding its argument.

Merge request reports