yi-0.6.5.0: The Haskell-Scriptable Editor
Yi.Mode.Abella
Synopsis
abellaModeVim :: TokenBasedMode TokenSource
abellaModeEmacs :: TokenBasedMode TokenSource
abella :: CommandArguments -> YiM BufferRefSource
Start Abella in a buffer
abellaEval :: YiM ()Source
abellaEvalFromProofPoint :: YiM ()Source
abellaUndo :: YiM ()Source
abellaGet :: YiM BufferRefSource
Return Abella's buffer; create it if necessary. Show it in another window.
abellaSend :: String -> YiM ()Source
Send a command to Abella