Open ronaldtse opened 1 year ago
This is from: https://github.com/metanorma/iso-10303-2/issues/98#issuecomment-1322094216
The pattern (*) does not seem to have a way of encoding within an EXPRESS remark tag?
(*)
The way to escape the (* and *) patterns is described in ISO 10303-11. But this does not seem to work with (*):
(*
*)
Ping @TRThurman
This is from: https://github.com/metanorma/iso-10303-2/issues/98#issuecomment-1322094216
The pattern
(*)
does not seem to have a way of encoding within an EXPRESS remark tag?The way to escape the
(*
and*)
patterns is described in ISO 10303-11. But this does not seem to work with(*)
:Ping @TRThurman