| Copyright | uni-bremen and DFKI |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | r.pascanu@jacobs-university.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CMDL.InfoCommands
Description
CMDL.InfoCommands contains all commands that provides information about the state of the development graph and selected theories
Documentation
cShowDgGoals :: CmdlState -> IO CmdlState Source #
cShowNodeProvenGoals :: String -> CmdlState -> IO CmdlState Source #
cShowNodeUnprovenGoals :: String -> CmdlState -> IO CmdlState Source #
cRedoHistory :: CmdlState -> IO CmdlState Source #
cCurrentComorphism :: CmdlState -> IO CmdlState Source #
cShowTaxonomy :: String -> CmdlState -> IO CmdlState Source #
cShowTheory :: CmdlUseTranslation -> String -> CmdlState -> IO CmdlState Source #
cShowTheoryGoals :: String -> CmdlState -> IO CmdlState Source #
cUndoHistory :: CmdlState -> IO CmdlState Source #
cShowNodeAxioms :: String -> CmdlState -> IO CmdlState Source #
cComorphismsTo :: String -> CmdlState -> IO CmdlState Source #
cInfoCurrent :: CmdlState -> IO CmdlState Source #
cShowConcept :: String -> CmdlState -> IO CmdlState Source #
cNodeNumber :: String -> CmdlState -> IO CmdlState Source #