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