Integrate the old elision demo

[clange]

 https://svn.omdoc.org/repos/omdoc/projects/omdoc-2.0/OpenMath-paper

but do it with mactions, e.g.

<maction type="elision" omdoc:elevel="..." omdoc:egroup="...">
  bracket
  no bracket
</maction>

and consider the mail "JOMDoc -> JOBAD encoding w.r.t. elision"

[jgiceva]

for now, it only works for bracket elision. to be finished next week!

[clange]

Replying to jgiceva:

for now, it only works for bracket elision. to be finished next week!

Good! Bracket elision is the most important one anyway, and the one that we have theoretically best understood so far.

[clange]

BTW, what I realized now: I came up with swapping the displayed and hidden brackets between <semantics> and <annotation-xml> when I was not yet aware of maction. Now, what you should do instead is using maction (maybe with type="elision", to distinguish it from folding and possibly other mactions). That would also allow you to refactor some of the folding code into the MathML utility module and reuse it for elision :-)

Note: I'm going to send a mail to the JOMDoc list to get the details of the integration with the JOMDoc renderer clear.

[clange]

closing. The basics are done, now tracking details in follow-up tickets, e.g. #263, #264