You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jul 5, 2019. It is now read-only.
eventually.
In the web interface, this should work as a wiki-style dangling link. I imagine that clicking on the omdoc:term of class dangling-term-link would trigger the creation of a new glossary module. When that is written, we an fill in #theory (the name of the new module) and #name (one of the symbol names in there) and create the final term reference.
where the cd is already given. Then the dangling link behavior should not create a new module, but go into edit mode for the module specified in the cd attribute (and allow the addition of a symbol).
I am assigning this to Constantin, since this is editing, but @m-iancu and @RochauD should also have a look and consider it.
The text was updated successfully, but these errors were encountered:
In the SMGloM we have the \term macro for dangling term references. In the OMDoc this has the form
where foo is a NL phrase. The idea is that this is to be replaced by a proper term reference of the form
eventually.
In the web interface, this should work as a wiki-style dangling link. I imagine that clicking on the
omdoc:term
of classdangling-term-link
would trigger the creation of a new glossary module. When that is written, we an fill in#theory
(the name of the new module) and#name
(one of the symbol names in there) and create the final term reference.The
\term
macro has an intermediate formwhere the
cd
is already given. Then the dangling link behavior should not create a new module, but go into edit mode for the module specified in thecd
attribute (and allow the addition of a symbol).I am assigning this to Constantin, since this is editing, but @m-iancu and @RochauD should also have a look and consider it.
The text was updated successfully, but these errors were encountered: