(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-info-action "*Error*" "Issue1244a.agda:7,9-10 Not in scope: b at Issue1244a.agda:7,9-10 when scope checking b" nil)
((last . 3) . (agda2-maybe-goto '("Issue1244a.agda" . 182)))
(agda2-highlight-load-and-delete-action)
(agda2-status-action "")
(agda2-status-action "")
(agda2-info-action "*Agda Version*" "Agda version 2.6.0" nil)
