restricting reference
agda-mode:quit
agda-mode:restart
agda-mode:next-goal & agda-mode:previous-goal
agda-mode:give half done
agda-mode:give half done
agda-mode:give complete