yi-0.6.2.3: The Haskell-Scriptable Editor
Source code
Contents
Index
Yi.Mode.Abella
Synopsis
abellaModeVim
::
TokenBasedMode
Token
abellaModeEmacs
::
TokenBasedMode
Token
abella
::
CommandArguments
->
YiM
BufferRef
abellaEval
::
YiM
()
abellaEvalFromProofPoint
::
YiM
()
abellaUndo
::
YiM
()
abellaGet
::
YiM
BufferRef
abellaSend
::
String
->
YiM
()
Documentation
abellaModeVim
::
TokenBasedMode
Token
Source
abellaModeEmacs
::
TokenBasedMode
Token
Source
abella
::
CommandArguments
->
YiM
BufferRef
Source
Start Abella in a buffer
abellaEval
::
YiM
()
Source
abellaEvalFromProofPoint
::
YiM
()
Source
abellaUndo
::
YiM
()
Source
abellaGet
::
YiM
BufferRef
Source
Return Abella's buffer; create it if necessary. Show it in another window.
abellaSend
::
String
->
YiM
()
Source
Send a command to Abella
Produced by
Haddock
version 2.6.1