Hi,
Is it possible to customise Tuareg to provide the same indentation
behaviour as normal comments? For normal comments, tabbing indents to
the first * and then placing a * on the line will cause the next line to
be indented and contain *, but for doc comments it indents differently.
I'd like them to behave the same for convienance. i.e. it's a minor
annoyance, not a major one.
(**
*
*
*)
and
(*
*
*
*)
Cheers,
Chris