This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=latex 2010.5.6) 25 FEB 2018 20:27 entering extended mode \write18 enabled. %&-line parsing enabled. **AxiomEmacsMode.tex (./AxiomEmacsMode.tex LaTeX2e <2005/12/01> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, arabic, farsi, croatian, ukrainian, russian, bulgarian, czech, slov ak, danish, dutch, finnish, basque, french, german, ngerman, ibycus, greek, mon ogreek, ancientgreek, hungarian, italian, latin, mongolian, norsk, icelandic, i nterlingua, turkish, coptic, romanian, welsh, serbian, slovenian, estonian, esp eranto, uppersorbian, indonesian, polish, portuguese, spanish, catalan, galicia n, swedish, ukenglish, pinyin, loaded. (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2005/09/16 v1.4f Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo File: size10.clo 2005/09/16 v1.4f Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/share/texmf/tex/latex/axiom.sty \nwmarginglue=\dimen103 \codehsize=\dimen104 \codemargin=\dimen105 \nwdefspace=\dimen106 \equivbox=\box26 LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 77. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 77. \plusequivbox=\box27 \nwcodetopsep=\skip43 \nwcodepenalty=\count87 \@original@textwidth=\dimen107 \nwcodecommentsep=\skip44 \@nwlopage=\count88 \@nwhipage=\count89 \@nwlosub=\count90 \@nwhisub=\count91 \@nwpagetemp=\count92 \@nwpagecount=\count93 \sub@page=\count94 \@nwalph@n=\count95 \nw@chunkcount=\count96 \@commacount=\count97 \nwix@counter=\count98 ) (./AxiomEmacsMode.aux) \openout1 = `AxiomEmacsMode.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 15. LaTeX Font Info: ... okay on input line 15. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 15. LaTeX Font Info: ... okay on input line 15. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 15. LaTeX Font Info: ... okay on input line 15. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 15. LaTeX Font Info: ... okay on input line 15. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 15. LaTeX Font Info: ... okay on input line 15. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 15. LaTeX Font Info: ... okay on input line 15. LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 18. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 18. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 18. [1 ] (./AxiomEmacsMode.toc) \tf@toc=\write3 \openout3 = `AxiomEmacsMode.toc'. [2] [3] LaTeX Font Info: Try loading font information for OMS+cmr on input line 69. (/usr/share/texmf-texlive/tex/latex/base/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 69. [4] Overfull \hbox (63.24669pt too wide) in paragraph at lines 119--119 []\OT1/cmtt/m/n/10 (setq auto-mode-alist (cons '("\\.axiom$" . axiom-mode) aut o-mode-alist))[] [] Overfull \hbox (0.96112pt too wide) in paragraph at lines 125--129 \OT1/cmr/m/n/10 not ro-bust enough. \OT1/cmtt/m/n/10 axiom-yank] sometimes comp lains that the file [] [5] Overfull \hbox (51.72122pt too wide) in paragraph at lines 176--179 \OT1/cmr/m/n/10 may pro-duce out-put sat-is-fy-ing \OT1/cmtt/m/n/10 axiom-promp t\OT1/cmr/m/n/10 , in the vari-able \OT1/cmtt/m/n/10 axiom-system-command\OT1/c mr/m/n/10 . [] [6] [7] Overfull \hbox (3.9129pt too wide) in paragraph at lines 268--270 []\OT1/cmr/m/n/10 I had \OT1/cmtt/m/n/10 (define-key axiom-mode-map [(tab)] 'ax iom-dynamic-complete) [] [8] [9] [10] Overfull \hbox (2.0548pt too wide) in paragraph at lines 359--363 []\OT1/cmr/m/n/10 We use the text-properties \OT1/cmtt/m/n/10 axiom-prompt \OT1 /cmr/m/n/10 and \OT1/cmtt/m/n/10 axiom-output \OT1/cmr/m/n/10 to mark prompt [] [11] [12] [13] [14] [15] [16] [17] Overfull \hbox (28.24858pt too wide) in paragraph at lines 705--708 \OT1/cmr/m/n/10 ex-am-ple \OT1/cmtt/m/n/10 )lisp (format t "(1) -> ") \OT1/cmr/ m/n/10 pro-duces out-put that matches \OT1/cmtt/m/n/10 axiom-prompt\OT1/cmr/m/n /10 . [] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] ! LaTeX Error: \verb ended by end of line. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.1517 ...rom an \verb{.input} file into the axiom Try typing to proceed. If that doesn't work, type X to quit. ! LaTeX Error: \verb ended by end of line. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.1520 file and then \verb{)read} it. Try typing to proceed. If that doesn't work, type X to quit. Overfull \hbox (22.55472pt too wide) in paragraph at lines 1517--1521 \OT1/cmr/m/n/10 We want to copy func-tion def-i-ni-tions from an []\OT1/cmtt/m/ n/10 .input} file into the axiom\OT1/cmr/m/n/10 session. [] [41] [42] (./AxiomEmacsMode.aux) ) Here is how much of TeX's memory you used: 538 strings out of 94075 6403 string characters out of 1165177 59004 words of memory out of 1500000 3885 multiletter control sequences out of 10000+50000 9016 words of font info for 32 fonts, out of 1200000 for 2000 645 hyphenation exceptions out of 8191 25i,7n,19p,193b,279s stack positions out of 5000i,500n,6000p,200000b,5000s Output written on AxiomEmacsMode.dvi (42 pages, 80820 bytes).