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
Often I know the symbols I want to annotate, and just write the \sn and so on as I author documents. But adding the necessary \importmodule and \usemodule directives is quite tedious and disruptive. So it would be great, if I could just call srify on the completed document and it would just act on \sn{foo} just as it would on foo, i.e. add the imports and uses.
The text was updated successfully, but these errors were encountered:
Often I know the symbols I want to annotate, and just write the
\sn
and so on as I author documents. But adding the necessary\importmodule
and\usemodule
directives is quite tedious and disruptive. So it would be great, if I could just callsrify
on the completed document and it would just act on\sn{foo}
just as it would onfoo
, i.e. add the imports and uses.The text was updated successfully, but these errors were encountered: