This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2000.3.8) 10 FEB 2003 07:39 **slides2.tex (slides2.tex LaTeX2e <1998/12/01> patch level 1 Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. (/usr/share/texmf/tex/latex/base/slides.cls Document Class: slides 1997/08/15 v2.3z Standard LaTeX document class (/usr/share/texmf/tex/latex/base/slides.def File: slides.def 1997/08/15 v2.3z SLiTeX definitions hacks, slides, \c@page=\count79 picture, mods, \@smashboxa=\box26 \@smashboxb=\box27 \@smashboxc=\box28 output, init) (/usr/share/texmf/tex/latex/base/sfonts.def File: sfonts.def 1998/06/12 v2.2e Standard LaTeX slide font definitions (/usr/share/texmf/tex/latex/base/ot1lcmss.fd File: ot1lcmss.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions )) \c@minutes=\count80 \c@seconds=\count81 \c@mv@invisible=\count82 LaTeX Font Info: Overwriting symbol font `operators' in version `normal' (Font) OT1/cmr/m/n --> OT1/lcmss/m/n on input line 351. LaTeX Font Info: Overwriting symbol font `letters' in version `normal' (Font) OML/cmm/m/it --> OML/lcmm/m/it on input line 354. LaTeX Font Info: Overwriting symbol font `symbols' in version `normal' (Font) OMS/cmsy/m/n --> OMS/lcmsy/m/n on input line 356. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal' (Font) OMX/cmex/m/n --> OMX/lcmex/m/n on input line 358. LaTeX Font Info: Overwriting symbol font `operators' in version `invisible' (Font) OT1/cmr/m/n --> OT1/lcmss/m/In on input line 361. LaTeX Font Info: Overwriting symbol font `letters' in version `invisible' (Font) OML/cmm/m/it --> OML/lcmm/m/Iit on input line 363. LaTeX Font Info: Overwriting symbol font `symbols' in version `invisible' (Font) OMS/cmsy/m/n --> OMS/lcmsy/m/In on input line 365. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `invisibl e' (Font) OMX/cmex/m/n --> OMX/lcmex/m/In on input line 367. ) (/usr/share/texmf/tex/latex/base/inputenc.sty beta test version Package: inputenc 1998/03/05 v0.97 Input encoding file (test version: still lia ble to change) (/usr/share/texmf/tex/latex/base/latin1.def File: latin1.def 1998/03/05 v0.97 Input encoding file (test version: still liab le to change) )) (/usr/share/texmf/tex/latex/graphics/color.sty Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC) (/usr/share/texmf/tex/latex/config/color.cfg) Package color Info: Driver file: dvips.def on input line 125. (/usr/share/texmf/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) ) (/usr/share/texmf/tex/latex/graphics/dvipsnam.def File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) (/usr/share/texmf/tex/latex/misc/portland.sty \paperheight=\dimen102 \phoffset=\dimen103 \pvoffset=\dimen104 \ptextwidth=\dimen105 \ptextheight=\dimen106 \ptopmargin=\dimen107 \poddsidemargin=\dimen108 \pevensidemargin=\dimen109 \lhoffset=\dimen110 \lvoffset=\dimen111 \ltextwidth=\dimen112 \ltextheight=\dimen113 \ltopmargin=\dimen114 \loddsidemargin=\dimen115 \levensidemargin=\dimen116 ) (/usr/share/texmf/tex/latex/graphics/epsfig.sty Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR) (/usr/share/texmf/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) (/usr/share/texmf/tex/latex/graphics/graphics.sty Package: graphics 1999/02/16 v1.0l Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/share/texmf/tex/latex/config/graphics.cfg) Package graphics Info: Driver file: dvips.def on input line 80. ) \Gin@req@height=\dimen117 \Gin@req@width=\dimen118 ) \epsfxsize=\dimen119 \epsfysize=\dimen120 ) (/usr/share/texmf/tex/latex/base/alltt.sty Package: alltt 1997/06/16 v2.0g defines alltt environment ) (/usr/share/texmf/tex/latex/misc/moreverb.sty Package: moreverb 1997/12/07 v2.2d.2 `more' verbatim facilities (/usr/share/texmf/tex/latex/tools/verbatim.sty Package: verbatim 1997/04/30 v1.5k LaTeX2e package for verbatim enhancements \every@verbatim=\toks15 \verbatim@line=\toks16 \verbatim@in@stream=\read1 ) \verbatim@out=\write3 \tab@position=\count83 \tab@size=\count84 \listing@line=\count85 ) (slides2.aux) \openout1 = `slides2.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for OT1/lcmss/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. \landscape [1 ] LaTeX Font Info: Try loading font information for OML+lcmm on input line 37. (/usr/share/texmf/tex/latex/base/omllcmm.fd File: omllcmm.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions ) LaTeX Font Info: Try loading font information for OMS+lcmsy on input line 37 . (/usr/share/texmf/tex/latex/base/omslcmsy.fd File: omslcmsy.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions ) LaTeX Font Info: Try loading font information for OMX+lcmex on input line 37 . (/usr/share/texmf/tex/latex/base/omxlcmex.fd File: omxlcmex.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions ) LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <19.907> on input line 37. LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <16.59> on input line 37. LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <13.82> on input line 37. [2] [3] LaTeX Font Info: Try loading font information for OT1+lcmtt on input line 63 . (/usr/share/texmf/tex/latex/base/ot1lcmtt.fd File: ot1lcmtt.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions ) [4] [5] Overfull \hbox (144.16772pt too wide) in paragraph at lines 86--87 []\OT1/lcmss/m/n/16.59 http://dept-info.labri.fr/~strandh/Teaching/USI/Common/D actylographie/cours.html [] [6] [7] Overfull \hbox (65.69522pt too wide) in paragraph at lines 108--108 []\OT1/lcmtt/m/n/19.907 ;;; Code from Paradigms of Artificial Intelligence Prog ramming[] [] Overfull \hbox (44.54376pt too wide) in paragraph at lines 112--112 [] \OT1/lcmtt/m/n/19.907 (action nil) (preconds nil) (add-list nil) (del-list nil))[] [] [8] Overfull \hbox (88.64357pt too wide) in paragraph at lines 127--127 [] \OT1/lcmtt/m/n/16.59 :preconds '(car-needs-battery shop-knows-pr oblem shop-has-money)[] [] [9] Overfull \hbox (76.27095pt too wide) in paragraph at lines 148--148 []\OT1/lcmtt/m/n/19.907 (defvar *state* nil "The current state: a list of condi tions.")[] [] [10] [11] Overfull \hbox (107.99814pt too wide) in paragraph at lines 186--186 []\OT1/lcmtt/m/n/19.907 * (gps '(son-at-home car-needs-battery have-money have- phone-book)[] [] [12] [13] Overfull \hbox (22.83365pt too wide) in paragraph at lines 217--219 \OT1/lcmss/m/n/19.907 Impl^^Sementation en Lisp de requ^etes dans une base de d onn^^Sees [] [14] [15] [16] [17] [18] [19] Overfull \hbox (23.3923pt too wide) in paragraph at lines 300--300 [] \OT1/lcmtt/m/n/19.907 (text "A great successor to `ANSI Common Lisp' "))[] [] [20] [21] [22] [23] (slides2.aux) ) Here is how much of TeX's memory you used: 949 strings out of 10901 12675 string characters out of 72570 57752 words of memory out of 263001 3906 multiletter control sequences out of 10000+0 7597 words of font info for 28 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 1000 32i,5n,21p,217b,258s stack positions out of 300i,100n,500p,50000b,4000s Output written on slides2.dvi (23 pages, 16336 bytes).