| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | yi-devel@googlegroups.com |
| Safe Haskell | None |
Yi.Mode.Abella
Description
Modes and utility function for working with the Abella
interactive theorem prover.
- abellaModeEmacs :: TokenBasedMode Token
- abella :: CommandArguments -> YiM BufferRef
- abellaEval :: YiM ()
- abellaEvalFromProofPoint :: YiM ()
- abellaUndo :: YiM ()
- abellaGet :: YiM BufferRef
- abellaSend :: YiString -> YiM ()
Documentation
abella :: CommandArguments -> YiM BufferRefSource
Start Abella in a buffer
abellaEval :: YiM ()Source
abellaUndo :: YiM ()Source
abellaGet :: YiM BufferRefSource
Return Abella's buffer; create it if necessary. Show it in another window.
abellaSend :: YiString -> YiM ()Source
Send a command to Abella