spoofax_prop/editor/Manual.esv

9 lines
228 B
Plaintext

module Manual
menus
menu: "Manual" (openeditor) (source)
action: "prop-eval" = do-eval
action: "prop-dnf" = do-dnf
action: "prop-dnf3" = do-dnf3
action: "prop-cnf3" = do-cnf3
action: "both-nf3" = do-dcnf