f                    ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~GPL-2yi-devel@googlegroups.com experimentalportableNone?Retrieve buffer list and open a them in buffer mode using the .HSwitch to the buffer with name at current name. If it it starts with a /5 then assume it's a file and try to open it that way.Keymap for the buffer mode. p ! line up n or SPACE ! line down ENTER or f ! open buffer v) ! open buffer as read-only NoneB7Scan one token. Return (maybe) a token and a new state..#NoneB7Scan one token. Return (maybe) a token and a new state.5*NoneB7Scan one token. Return (maybe) a token and a new state.:      !"#$%&'()*+,-./0123456789:;<+      !"#$%&'()*+,-./0123456789:;<NoneB=7Scan one token. Return (maybe) a token and a new state.8>?@ABCDEFGHIJKLMNOPQRSTUV =WXYZ[\]^_`abcdefghijklmnopqr   ->?@ABCDEFGHIJKLMNOPQRSTUV =WXYZ[\]^_`abcdefghijklmnopqr NoneBs7Scan one token. Return (maybe) a token and a new state.<tuvwxyz{|}~ s   1tuvwxyz{|}~ s NoneB7Scan one token. Return (maybe) a token and a new state.G   7  NoneB7Scan one token. Return (maybe) a token and a new state.      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwp       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvw NoneBx7Scan one token. Return (maybe) a token and a new state.Dyz{|}~x9yz{|}~x NoneB7Scan one token. Return (maybe) a token and a new state.<1 NoneB7Scan one token. Return (maybe) a token and a new state.F !"#$  %    !"#$%&'()*&# !"$%% !"#$/  !"#$  %    !"#$%&'()*& NoneB47Scan one token. Return (maybe) a token and a new state.8+,-./0123456789)*+,-./01:;<=>?@234ABCDEFGHIJKLMNOPQRSTU5 )*.,0-+/1234 24*+,-./01)3&+,-./0123456789)*+,-./01:;<=>?@234ABCDEFGHIJKLMNOPQRSTU5GPL-2yi-devel@googlegroups.com experimentalportableNone249:;<=>?@ABCDEFGHIJK9<:=;>?@ABCDEFGHIJ@?>9:;<=KABCDEFGHIJ9:;<=>?@ABCDEFGHIJKGPL-2yi-devel@googlegroups.com experimentalportableNonePsyntax-based latex modeQsyntax-based latex modeVOPQWOPQQPOVOPQWNoneBX7Scan one token. Return (maybe) a token and a new state.<YZ[\]^_`abcdefghijklmnopqRXrstuvwxyz{|}~SRR1YZ[\]^_`abcdefghijklmnopqRXrstuvwxyz{|}~SNoneB7Scan one token. Return (maybe) a token and a new state..TUVTUUT#TUVNoneB7Scan one token. Return (maybe) a token and a new state.TWX     YWXXWAWX     YNoneB7Scan one token. Return (maybe) a token and a new state.Y !"#$%&'()*+,-./\0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcd]\\G !"#$%&'()*+,-./\0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcd]NoneBe7Scan one token. Return (maybe) a token and a new state.<fghijklmnopqrstuvwxyz{|}~_e`__1fghijklmnopqrstuvwxyz{|}~_e`NoneB7Scan one token. Return (maybe) a token and a new state.=abaa2abNoneB7Scan one token. Return (maybe) a token and a new state.Bc     dcc5c     dNoneB7Scan one token. Return (maybe) a token and a new state.= !"#$%&'()*+,-./01e23456789:;<=>?@ABCDEFGHIJKLMNOPQRSTfee2 !"#$%&'()*+,-./01e23456789:;<=>?@ABCDEFGHIJKLMNOPQRSTfGPL-2yi-devel@googlegroups.com experimentalportableNoneSghijklmnopqrstuvwghijklmnopqrstuvwghijklovuprstnwmqghijklmnopqrstuvwNoneBU7Scan one token. Return (maybe) a token and a new state.QVWXYZ[\]^_`abcdxyz{|}~efghijklmUnopqrstuvwxyz{|}~xyz}~{|xyz{|}~4VWXYZ[\]^_`abcdxyz{|}~efghijklmUnopqrstuvwxyz{|}~GPL-2yi-devel@googlegroups.com experimentalportableNone0IStart Abella in a bufferKReturn Abella's buffer; create it if necessary. Show it in another window.Send a command to AbellaNoneSafe   ! ! !" ! ! !#" ! " ! ! $ % & ' ( ) * + , - . / 0 ! 1 2 3 $ 0 4 - 5 6 7 8 9 : ; ! 1 2 <=>?@AABCDEFGHIJKLMNOPQRST !$ !$ !"# !" ! ! ! !UVWXYZ[\]^_`abcdeB$%()+,fgh,ijklmno+pqr3:s !tuvw12xyz{|}~;3$9;$39;$39;$39;$39;$39 ;                   $ 3            9                    ;                $ 3 9     ;                $ 3 9 ;                3 I 9                ;$39;39;39 !"#;$3$%&'(9)*+,;$39;$39-;$39;$39;I9../0123456789:;<=>?@AB*yi-misc-modes-0.13.7-9xfl7NVe6PbP1xxe3LXjRYi.ModesYi.Mode.BuffersYi.Lexer.Whitespace Yi.Lexer.SrmcYi.Lexer.SVNCommit Yi.Lexer.Ruby Yi.Lexer.RYi.Lexer.Python Yi.Lexer.Perl Yi.Lexer.OttYi.Lexer.ObjectiveCYi.Lexer.OCamlYi.Lexer.LatexYi.Syntax.Latex Yi.Mode.Latex Yi.Lexer.Java Yi.Lexer.JSONYi.Lexer.GitCommitYi.Lexer.GNUMakeYi.Lexer.CplusplusYi.Lexer.ClojureYi.Lexer.Cabal Yi.Lexer.CYi.Lexer.AbellaYi.Mode.AbellaYi.Config.Default.MiscModesPaths_yi_misc_modes%yi-core-0.13.7-HsZfreyPUCEHvERChSef6NYi.Mode.Common anyExtension listBufferslexer$fFunctorAlexLastAcc $fShowHlState $fEqHlStateTokenNumberCharTok StringTokVarIdent ConsIdentIndentReservedReserved ReservedOpSpecial ConsOperatorOperatorComment $fEqToken $fShowTokenHlStateTextCommandBeginEnd NewCommand initState tokenToText alexScanToken $fOrdTokenTreeParenAtomErrorExprTTisNoiseparse getStrokes modStroke tokenToStroke tokenToAnnot tokenToStyle isSpecialisBeginisEnd isErrorTok $fIsTreeTree $fShowTree $fFunctorTree$fFoldableTreefastMode latexMode2 latexMode3cModeobjectiveCModecppMode cabalMode clojureModesrmcMode gitCommitMode svnCommitMode ocamlModeperlModerubyMode pythonModejavaModejsonMode gnuMakeModeottModewhitespaceMode CommentLineSkip UnrecognizedOrAnd BackSlash RightArrowDoubleRightArrowDotOtherOpForallExistsOther isComment $fEqReserved$fShowReserved$fEqReservedOp$fShowReservedOpabellaModeEmacs abellaEvalabellaEvalFromProofPoint abellaUndoabella abellaGet abellaSend$fYiVariableAbellaBuffer$fDefaultAbellaBuffer$fBinaryAbellaBufferconfigureMiscModes bufferKeymapswitchAlexAcc AlexAccNone AlexAccSkip AlexLastAccAlexNone AlexLastSkip AlexReturnAlexEOF AlexErrorAlexSkip AlexTokenAlexAddrAlexA# alex_tab_size alex_base alex_table alex_check alex_deflt alex_accept spaceStyletabStyle stateToInit alexScan' alexScanUser'alex_scan_tkn'cmmscs alex_action_0 alex_action_1 alex_action_3alexIndexInt16OffAddralexIndexInt32OffAddr quickIndexalexScan alexScanUser alex_scan_tkn alex_action_2 alex_action_4 alex_action_5 alex_action_6 alex_action_7 alex_action_8 alex_action_9alex_action_10alex_action_11 AlexAccPredAlexAccSkipPredHlCommitMessageHlCommitSummary commitSummary alexAndPredalexPrevCharIsalexPrevCharMatchesalexPrevCharIsOneOfalexRightContextalex_action_12alex_action_13alex_action_14nestcommalex_action_15alex_action_16alex_action_17alex_action_18Base DoubleQuotes SingleQuotes DoubleDoc SingleDoc doubledoc doublequotes singledoc singlequotesalex_action_19alex_action_20HlInCodeHlInInterpString HlInStringHlStartCollectHeredocIdentHlCollectHeredocIdentHlInInterpHeredocHlInInterpHeredocNoIdent HlInHeredoc HlInPerldocHlInSubstRegex HlInVariablefromQuoteStateincreaseVarCastDepthdecreaseVarCastDepthexitVarIfZeroDepthcollectHeredocIdentheredoc interpHeredocinterpHeredocNoIdent interpStringperldocstartCollectHeredocIdentstringvariablealex_action_21alex_action_22alex_action_23alex_action_24alex_action_25alex_action_26alex_action_27alex_action_28alex_action_29alex_action_30alex_action_31alex_action_32alex_action_33alex_action_34alex_action_35alex_action_36alex_action_37alex_action_38alex_action_39alex_action_40alex_action_41alex_action_42alex_action_43alex_action_44alex_action_45alex_action_46alex_action_47alex_action_48alex_action_49alex_action_50alex_action_51alex_action_52alex_action_53alex_action_54alex_action_55alex_action_56alex_action_57alex_action_58alex_action_59alex_action_60alex_action_61alex_action_62beginHombindspechomspliceabstract latexLexerDigest SecondLineKeyword MessageLine LineCommentDiffDeclarationbodydiffkeyword lineComment secondLineTopLevel InCommentIncludeDirectiveComplexExpansion RuleCommandcommentcomplexExpansionincludeDirective ruleCommandregex AbellaBuffer _abellaBuffer abellaModeGengetProofPointMarkgetTheoremPointMark abellaNext abellaAbortcatchIOversionbindirlibdirdatadir libexecdir sysconfdir getBinDir getLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName