Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
MiKoMH
KWARC
Commits
378b18f1
Commit
378b18f1
authored
Dec 01, 2019
by
Michael Kohlhase
Browse files
assocarg
parent
067a35ad
Changes
1
Hide whitespace changes
Inline
Side-by-side
source/missing/en/gui.tex
View file @
378b18f1
\begin{module}
[id=gui]
\symdef
{
menuitem
}
[1]
{
\mathop
{
#1
}}
\symdef
{
menupath
}
[1]
{
\assoc
[p=1000]
\searrow
{
#1
}}
\symdef
[assocarg=1]
{
menupath
}
[1]
{
\assoc
[p=1000]
\searrow
{
#1
}}
\end{module}
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment