This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2002.1.15) 31 JAN 2004 21:33 **s.tex (s.tex LaTeX2e <1999/12/01> patch level 1 Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. (/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/base/latex209.def File: latex209.def 1998/05/13 v0.52 Standard LaTeX file Entering LaTeX 2.09 COMPATIBILITY MODE ************************************************************* !!WARNING!! !!WARNING!! !!WARNING!! !!WARNING!! This mode attempts to provide an emulation of the LaTeX 2.09 author environment so that OLD documents can be successfully processed. It should NOT be used for NEW documents! New documents should use Standard LaTeX conventions and start with the \documentclass command. Compatibility mode is UNLIKELY TO WORK with LaTeX 2.09 style files that change any internal macros, especially not with those that change the FONT SELECTION or OUTPUT ROUTINES. Therefore such style files MUST BE UPDATED to use Current Standard LaTeX: LaTeX2e. If you suspect that you may be using such a style file, which is probably very, very old by now, then you should attempt to get it updated by sending a copy of this error message to the author of that file. ************************************************************* \footheight=\dimen102 \@maxsep=\dimen103 \@dblmaxsep=\dimen104 \@cla=\count79 \@clb=\count80 \mscount=\count81 (/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/base/tracefnt.sty Package: tracefnt 1997/05/29 v3.0j Standard LaTeX package (font tracing) \tracingfonts=\count82 LaTeX Info: Redefining \selectfont on input line 96. ) \symbold=\mathgroup4 \symsans=\mathgroup5 \symtypewriter=\mathgroup6 \symitalic=\mathgroup7 \symsmallcaps=\mathgroup8 \symslanted=\mathgroup9 LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 288. LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 289. LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 290. LaTeX Font Info: Redeclaring math alphabet \mathit on input line 296. LaTeX Info: Redefining \em on input line 306. (/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup10 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 42. ) LaTeX Font Info: Redeclaring math delimiter \lgroup on input line 370. LaTeX Font Info: Redeclaring math delimiter \rgroup on input line 372. LaTeX Font Info: Redeclaring math delimiter \bracevert on input line 374. (/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/config/latex209.cfg) (/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/tools/rawfonts.sty Package: rawfonts 1994/05/08 Low-level LaTeX 2.09 font compatibility (/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/tools/somedefs.sty Package: somedefs 1994/06/01 Toolkit for optional definitions ) LaTeX Font Info: Try loading font information for U+lasy on input line 44. (/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2eLaTeX symbol font definitions ))) (/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/base/article.cls Document Class: article 1999/09/10 v1.4a Standard LaTeX document class (/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/base/size12.clo File: size12.clo 1999/09/10 v1.4a Standard LaTeX file (size option) ) \c@part=\count83 \c@section=\count84 \c@subsection=\count85 \c@subsubsection=\count86 \c@paragraph=\count87 \c@subparagraph=\count88 \c@figure=\count89 \c@table=\count90 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 Compatibility mode: definition of \rm ignored. Compatibility mode: definition of \sf ignored. Compatibility mode: definition of \tt ignored. Compatibility mode: definition of \bf ignored. Compatibility mode: definition of \it ignored. Compatibility mode: definition of \sl ignored. Compatibility mode: definition of \sc ignored. LaTeX Info: Redefining \cal on input line 501. LaTeX Info: Redefining \mit on input line 502. \bibindent=\dimen105 ) (s.aux) \openout1 = `s.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 23. LaTeX Font Info: ... okay on input line 23. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 23. LaTeX Font Info: ... okay on input line 23. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 23. LaTeX Font Info: ... okay on input line 23. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 23. LaTeX Font Info: ... okay on input line 23. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 23. LaTeX Font Info: ... okay on input line 23. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 23. LaTeX Font Info: ... okay on input line 23. (/home/lieber/tex/common.tex \c@example=\count91 \c@solution=\count92 \c@theorem=\count93 \c@fact=\count94 \c@claim=\count95 \c@lemma=\count96 \c@corollary=\count97 \c@proposition=\count98 \c@definition=\count99 \c@semantic-rule=\count100 \c@formulation=\count101 \c@definctr=\count102 ) (/home/lieber/tex/pictures.tex (/home/lieber/tex/psfig.tex \@unused=\write3 psfig/tex 1.6b \ps@stream=\read1 \p@intvaluex=\dimen106 \p@intvaluey=\dimen107 )) LaTeX Font Info: External font `cmex10' loaded for size (Font) <10.95> on input line 52. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 52. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 52. LaTeX Warning: Citation `lieber-riel:singapore' on page 1 undefined on input li ne 72. LaTeX Font Info: Try loading font information for OMS+cmr on input line 76. (/arch/unix/packages/teTeX-1.0.7/share/texmf/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 <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 76. [1 ] LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 99. LaTeX Warning: Citation `mills:grow-71' on page 2 undefined on input line 103. LaTeX Warning: Citation `brooks:silver' on page 2 undefined on input line 103. LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 108. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 108. [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] LaTeX Warning: Citation `LHLR:law-paper' on page 14 undefined on input line 962 . [14] LaTeX Warning: Citation `schaffert:trellis-86' on page 15 undefined on input li ne 991. [15] [16] LaTeX Font Info: Font shape `OMS/cmr/m/it' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 1124. [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] LaTeX Warning: Citation `karl:demeter' on page 27 undefined on input line 1771. [27] [28] LaTeX Warning: Citation `karl:demeter' on page 29 undefined on input line 2010. LaTeX Warning: Citation `dahl-nygaard:simula-67' on page 29 undefined on input line 2015. LaTeX Warning: Citation `goldberg:smalltalk-l-i' on page 29 undefined on input line 2015. LaTeX Warning: Citation `moon:flavors' on page 29 undefined on input line 2016. LaTeX Warning: Citation `cox:oop' on page 29 undefined on input line 2017. LaTeX Warning: Citation `stroustrup:c++' on page 29 undefined on input line 201 7. LaTeX Warning: Citation `meyer:param-86' on page 29 undefined on input line 201 8. [29] LaTeX Warning: Citation `albano-cardelli:conceptual-85' on page 30 undefined on input line 2024. LaTeX Warning: Citation `mylopoulos-bernstein:taxis-80' on page 30 undefined on input line 2024. LaTeX Warning: Citation `thomsen-override:86' on page 30 undefined on input lin e 2025. LaTeX Warning: Citation `wirth-lang-des:ifip-74' on page 30 undefined on input line 2030. LaTeX Warning: Citation `wirth:modula-2' on page 30 undefined on input line 203 1. LaTeX Warning: Citation `wirth:a+d=p-76' on page 30 undefined on input line 203 2. LaTeX Warning: Citation `wirth:ebnf' on page 30 undefined on input line 2033. LaTeX Warning: Citation `wirth:pascal-acta-71' on page 30 undefined on input li ne 2034. LaTeX Warning: Citation `cameron-ito:gramps' on page 30 undefined on input line 2039. LaTeX Warning: Citation `fraser:syntax-81' on page 30 undefined on input line 2 040. LaTeX Warning: Citation `kristensen:fragments-85' on page 30 undefined on input line 2041. LaTeX Warning: Citation `wile:popart-83' on page 30 undefined on input line 204 3. LaTeX Warning: Citation `reps-teitelbaum:84' on page 30 undefined on input line 2045. LaTeX Warning: Citation `andrew:gem' on page 30 undefined on input line 2046. LaTeX Warning: Citation `freiling:knowledge-86' on page 30 undefined on input l ine 2056. LaTeX Warning: Citation `cardelli-wegner:types-85' on page 30 undefined on inpu t line 2060. LaTeX Warning: Citation `solomon:param' on page 30 undefined on input line 2062 . LaTeX Warning: Citation `liskov:abstr-77' on page 30 undefined on input line 20 65. LaTeX Warning: Citation `schaffert:trellis-86' on page 30 undefined on input li ne 2065. LaTeX Warning: Citation `kreowski:alg-spec-87' on page 30 undefined on input li ne 2068. LaTeX Warning: Citation `thatcher:param-82' on page 30 undefined on input line 2068. LaTeX Warning: Citation `macqueen:ml-85' on page 30 undefined on input line 206 9. LaTeX Warning: Citation `macqueen:modular-86' on page 30 undefined on input lin e 2069. LaTeX Warning: Citation `partsch:survey' on page 30 undefined on input line 207 7. LaTeX Warning: Citation `cameron-ito:gramps' on page 30 undefined on input line 2077. LaTeX Warning: Citation `boyle:reusability-84' on page 30 undefined on input li ne 2077. LaTeX Warning: Citation `wand-kohlbecker:by-example-87' on page 30 undefined on input line 2078. LaTeX Warning: Citation `kahn-lang:struct-75' on page 30 undefined on input lin e 2079. LaTeX Warning: Citation `huet:mentor-80' on page 30 undefined on input line 207 9. LaTeX Warning: Citation `madsen-norgard:hicss-88' on page 30 undefined on input line 2083. LaTeX Warning: Citation `allen:dictionary-82' on page 30 undefined on input lin e 2089. LaTeX Warning: Citation `john-diane:abstr-77' on page 30 undefined on input lin e 2090. LaTeX Warning: Citation `balzer:sigsoft-86' on page 30 undefined on input line 2096. [30] LaTeX Warning: Citation `lamb:idl-87' on page 31 undefined on input line 2105. LaTeX Warning: Citation `karl1:class' on page 31 undefined on input line 2108. [31] [32] (s.aux) LaTeX Warning: There were undefined references. ) Here is how much of TeX's memory you used: 1041 strings out of 61438 10188 string characters out of 71896 52421 words of memory out of 1100001 3981 multiletter control sequences out of 10000+0 26312 words of font info for 97 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 1000 25i,6n,22p,254b,365s stack positions out of 300i,100n,500p,300000b,4000s Output written on s.dvi (32 pages, 83060 bytes).