• dist flags:
  • +- building distdir
    • { test ! -d aterm-2.5 || { find aterm-2.5 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr aterm-2.5; }; }
    • mkdir aterm-2.5
    • mkdir -p -- aterm-2.5/.
    • list='aterm utils test doc'; for subdir in $list; do \� if test "$subdir" = .; then :; else \� test -d "aterm-2.5/$subdir" \� || mkdir -p -- "aterm-2.5/$subdir" \� || exit 1; \� distdir=`CDPATH="${ZSH_VERSION+.}:" && cd aterm-2.5 && pwd`; \� top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd aterm-2.5 && pwd`; \� (cd $subdir && \� make \� top_distdir="$top_distdir" \� distdir="$distdir/$subdir" \� distdir) \� || exit 1; \� fi; \� done
    • +- make[1]: Entering directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm'
      • +- building distdir
        • make[1]: Leaving directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm'
      • +- make[1]: Entering directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/utils'
        • +- building distdir
          • make[1]: Leaving directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/utils'
        • +- make[1]: Entering directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/test'
          • +- building distdir
            • mkdir -p -- /tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm-2.5/test/..
          • make[1]: Leaving directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/test'
        • +- make[1]: Entering directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc'
          • +- building at.ps
            • make at.dvi
            • +- make[2]: Entering directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc'
              • +- building header.eps
                • fig2dev -Leps header.fig header.eps
              • +- building encoding.eps
                • fig2dev -Leps encoding.fig encoding.eps
              • +- building hierarchy.eps
                • fig2dev -Leps hierarchy.fig hierarchy.eps
              • +- building at.dvi
                • TEXINPUTS=$TEXINPUTS:. ;\� export TEXINPUTS ;\� latex at.ltx ;\� fgrep -s 'LaTeX Warning: Citation' at.log && bibtex at && latex at.ltx ;\� while fgrep -s 'Rerun to get cross-references right' at.log ;\� do \� TEXINPUTS=$TEXINPUTS:. ;\� latex at.ltx ;\� done
                • This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)
                • entering extended mode
                • (./at.ltx
                • LaTeX2e <2003/12/01>
                • Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
                • ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
                • stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
                • h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
                • kish, ukrainian, nohyphenation, loaded.
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/article.cls
                • Document Class: article 2004/02/16 v1.4f Standard LaTeX document class
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/size10.clo))
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/gen/...-tetex-3.0/share/texmf-dist/tex/gen
                • eric/babel/babel.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/gen/...-tetex-3.0/share/texmf-dist/tex/gen
                • eric/babel/english.ldf
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/gen/...-tetex-3.0/share/texmf-dist/tex/gen
                • eric/babel/babel.def)))
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/epsfig.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/graphicx.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/keyval.sty)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/graphics.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/trig.sty)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/graphics.cfg)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/dvips.def))))
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/latexsym.sty) (./spec/ASF+SDF.sty
                • LaTeX Warning: You have requested package `spec/ASF+SDF',
                • but the package provides `ASF+SDF'.
                • ) (./spec/ASF+SDF-options.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/pla/...-tetex-3.0/share/texmf-dist/tex/pla
                • in/amsfonts/amssym.def)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/pla/...-tetex-3.0/share/texmf-dist/tex/pla
                • in/amsfonts/amssym.tex))
                • No file at.aux.
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/ulasy.fd) (./aterm.ltx
                • LaTeX Warning: Citation `OLE' on page 1 undefined on input line 17.
                • LaTeX Warning: Citation `Java' on page 1 undefined on input line 20.
                • LaTeX Warning: Citation `OMG-IDL' on page 1 undefined on input line 23.
                • [1]
                • LaTeX Warning: Citation `Kli93.meta' on page 2 undefined on input line 62.
                • LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 62.
                • LaTeX Warning: Citation `BK98' on page 2 undefined on input line 63.
                • [2]
                • LaTeX Warning: Reference `aterms-at-a-glance' on page 3 undefined on input line
                • 90.
                • LaTeX Warning: Reference `implementation' on page 3 undefined on input line 91.
                • LaTeX Warning: Reference `measurements' on page 3 undefined on input line 92.
                • LaTeX Warning: Reference `applications' on page 3 undefined on input line 93.
                • LaTeX Warning: Reference `discussion' on page 3 undefined on input line 95.
                • LaTeX Warning: Reference `aterm-datatype' on page 3 undefined on input line 103
                • .
                • LaTeX Warning: Reference `aterm-operations' on page 3 undefined on input line 1
                • 04.
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/omscmr.fd)
                • LaTeX Warning: Reference `concrete-syntax' on page 3 undefined on input line 15
                • 6.
                • LaTeX Warning: Reference `implementation' on page 3 undefined on input line 159
                • .
                • [3]
                • Overfull \hbox (3.11102pt too wide) in paragraph at lines 165--167
                • []\OT1/cmr/m/n/10 Integer and real con-stants are writ-ten con-ven-tion-ally: \
                • OT1/cmtt/m/n/10 1\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 3.14\OT1/cmr/m/n/10 , and \
                • OT1/cmtt/m/n/10 -0.7E34
                • LaTeX Warning: Reference `making' on page 4 undefined on input line 193.
                • LaTeX Warning: Reference `reading' on page 4 undefined on input line 194.
                • LaTeX Warning: Reference `annotating' on page 4 undefined on input line 195.
                • LaTeX Warning: Reference `level2' on page 4 undefined on input line 209.
                • [4]
                • LaTeX Warning: Reference `max-sharing' on page 5 undefined on input line 212.
                • LaTeX Warning: Reference `aterm-datatype' on page 5 undefined on input line 270
                • .
                • LaTeX Warning: Reference `aterm-datatype' on page 5 undefined on input line 279
                • .
                • LaTeX Warning: Reference `concrete-syntax' on page 5 undefined on input line 28
                • 0.
                • [5]
                • LaTeX Warning: Reference `baf' on page 6 undefined on input line 289.
                • [6]
                • LaTeX Warning: Reference `intro' on page 7 undefined on input line 364.
                • LaTeX Warning: Reference `max-sharing' on page 7 undefined on input line 411.
                • LaTeX Warning: Reference `garbage-collection' on page 7 undefined on input line
                • 412.
                • LaTeX Warning: Reference `term-encoding' on page 7 undefined on input line 413.
                • LaTeX Warning: Reference `baf' on page 7 undefined on input line 414.
                • [7]
                • LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 474.
                • LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 479.
                • [8]
                • LaTeX Warning: Reference `asdf2c' on page 9 undefined on input line 516.
                • [9]
                • LaTeX Warning: Citation `BW88' on page 10 undefined on input line 544.
                • LaTeX Warning: Citation `Bo93' on page 10 undefined on input line 544.
                • LaTeX Warning: Citation `JL96' on page 10 undefined on input line 546.
                • LaTeX Warning: Citation `BW88' on page 10 undefined on input line 557.
                • [10]
                • LaTeX Warning: Reference `term-encoding' on page 11 undefined on input line 628
                • .
                • LaTeX Warning: Reference `header' on page 11 undefined on input line 653.
                • <header.eps> [11]
                • LaTeX Warning: Reference `encoding' on page 12 undefined on input line 681.
                • <encoding.eps> [12] [13]
                • LaTeX Warning: Reference `concrete-syntax' on page 14 undefined on input line 7
                • 65.
                • [14] [15] [16]
                • LaTeX Warning: Reference `asfix' on page 17 undefined on input line 965.
                • LaTeX Warning: Citation `ADR95' on page 17 undefined on input line 970.
                • LaTeX Warning: Citation `GL99' on page 17 undefined on input line 974.
                • LaTeX Warning: Citation `Lut99' on page 17 undefined on input line 974.
                • LaTeX Warning: Citation `DG95' on page 17 undefined on input line 975.
                • LaTeX Warning: Citation `GP95' on page 17 undefined on input line 978.
                • [17]
                • LaTeX Warning: Reference `casfix' on page 18 undefined on input line 989.
                • Overfull \hbox (4.26779pt too wide) in paragraph at lines 984--990
                • []\OT1/cmr/m/n/10 a col-lec-tion of ab-stract syn-tax trees rep-re-sented as []
                • LaTeX Warning: Citation `Wan97' on page 18 undefined on input line 992.
                • LaTeX Warning: Citation `Han99' on page 18 undefined on input line 992.
                • Overfull \hbox (14.72295pt too wide) in paragraph at lines 1022--1049
                • []
                • LaTeX Warning: Reference `measurements-in-memory' on page 18 undefined on input
                • line 1053.
                • [18] <sharing.eps>
                • LaTeX Warning: Reference `cobol-sharing' on page 19 undefined on input line 108
                • 2.
                • Overfull \hbox (21.0562pt too wide) in paragraph at lines 1095--1131
                • []
                • LaTeX Warning: Reference `measurements-text' on page 19 undefined on input line
                • 1135.
                • Overfull \hbox (5.63943pt too wide) in paragraph at lines 1147--1184
                • []
                • LaTeX Warning: Reference `measurements-baf' on page 19 undefined on input line
                • 1188.
                • [19]
                • Overfull \hbox (9.22298pt too wide) in paragraph at lines 1210--1239
                • []
                • LaTeX Warning: Reference `measurements-baf-gzip' on page 20 undefined on input
                • line 1244.
                • LaTeX Warning: Reference `summary' on page 20 undefined on input line 1276.
                • [20]
                • LaTeX Warning: Citation `DK98' on page 21 undefined on input line 1293.
                • LaTeX Warning: Citation `BSV97' on page 21 undefined on input line 1294.
                • LaTeX Warning: Citation `BKO99' on page 21 undefined on input line 1297.
                • LaTeX Warning: Citation `BKMO97' on page 21 undefined on input line 1298.
                • LaTeX Warning: Reference `asfix' on page 21 undefined on input line 1307.
                • LaTeX Warning: Reference `casfix' on page 21 undefined on input line 1308.
                • [21]
                • LaTeX Warning: Citation `HHKR92.new' on page 22 undefined on input line 1314.
                • LaTeX Warning: Citation `BHK89' on page 22 undefined on input line 1314.
                • LaTeX Warning: Citation `DHK96' on page 22 undefined on input line 1314.
                • LaTeX Warning: Citation `Kli93.meta' on page 22 undefined on input line 1324.
                • [22]
                • LaTeX Warning: Citation `HHKR92.new' on page 23 undefined on input line 1365.
                • [23]
                • LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1413.
                • LaTeX Warning: Citation `BKO98.casl' on page 24 undefined on input line 1425.
                • LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1430.
                • [24]
                • LaTeX Warning: Citation `Kli93.meta' on page 25 undefined on input line 1452.
                • LaTeX Warning: Citation `BK98' on page 25 undefined on input line 1456.
                • LaTeX Warning: Citation `BKMO97' on page 25 undefined on input line 1457.
                • LaTeX Warning: Citation `Vis97' on page 25 undefined on input line 1464.
                • LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1481.
                • LaTeX Warning: Citation `BDKKM96' on page 25 undefined on input line 1488.
                • LaTeX Warning: Citation `VanDenBrandKlintVerhoef:98' on page 25 undefined on in
                • put line 1488.
                • LaTeX Warning: Citation `ADR95' on page 25 undefined on input line 1492.
                • LaTeX Warning: Citation `BSV97' on page 25 undefined on input line 1493.
                • LaTeX Warning: Reference `ASF2Ctable' on page 25 undefined on input line 1496.
                • LaTeX Warning: Reference `sharingtable' on page 25 undefined on input line 1498
                • .
                • LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1501.
                • Overfull \hbox (4.30261pt too wide) in paragraph at lines 1505--1516
                • []
                • [25]
                • LaTeX Warning: Citation `GL99' on page 26 undefined on input line 1541.
                • LaTeX Warning: Citation `VBT98' on page 26 undefined on input line 1548.
                • LaTeX Warning: Reference `aterm-datatype' on page 26 undefined on input line 15
                • 68.
                • LaTeX Warning: Citation `BCDIKLP89' on page 26 undefined on input line 1583.
                • LaTeX Warning: Citation `Eli92' on page 26 undefined on input line 1583.
                • LaTeX Warning: Citation `Ast92' on page 26 undefined on input line 1584.
                • LaTeX Warning: Citation `Suif94' on page 26 undefined on input line 1584.
                • LaTeX Warning: Citation `Wan97' on page 26 undefined on input line 1584.
                • LaTeX Warning: Citation `Karasick98' on page 26 undefined on input line 1585.
                • LaTeX Warning: Citation `Lamb-IDL' on page 26 undefined on input line 1588.
                • LaTeX Warning: Citation `OMG-IDL' on page 26 undefined on input line 1588.
                • [26]
                • LaTeX Warning: Citation `Wan97' on page 27 undefined on input line 1623.
                • LaTeX Warning: Citation `Han99' on page 27 undefined on input line 1626.
                • LaTeX Warning: Reference `asdlaterm1' on page 27 undefined on input line 1651.
                • [27]
                • LaTeX Warning: Reference `asfix-casfix' on page 28 undefined on input line 1669
                • .
                • LaTeX Warning: Reference `asdlaterm3' on page 28 undefined on input line 1680.
                • LaTeX Warning: Reference `measurements-baf' on page 28 undefined on input line
                • 1684.
                • LaTeX Warning: Reference `measurements-baf' on page 28 undefined on input line
                • 1685.
                • LaTeX Warning: Reference `asdlaterm3' on page 28 undefined on input line 1686.
                • LaTeX Warning: Citation `XML1.0' on page 28 undefined on input line 1718.
                • LaTeX Warning: Reference `baf' on page 28 undefined on input line 1740.
                • LaTeX Warning: Citation `ASN.1.PER' on page 28 undefined on input line 1744.
                • [28]
                • LaTeX Warning: Citation `Kam94' on page 29 undefined on input line 1748.
                • LaTeX Warning: Citation `Alan:78' on page 29 undefined on input line 1768.
                • LaTeX Warning: Citation `TerashimaKanada:90' on page 29 undefined on input line
                • 1776.
                • LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line
                • 1780.
                • LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line
                • 1787.
                • LaTeX Warning: Citation `BK98' on page 29 undefined on input line 1802.
                • LaTeX Warning: Citation `GB94' on page 29 undefined on input line 1806.
                • LaTeX Warning: Citation `FKW98' on page 29 undefined on input line 1808.
                • [29]
                • LaTeX Warning: Reference `measurements' on page 30 undefined on input line 1828
                • .
                • LaTeX Warning: Reference `applications' on page 30 undefined on input line 1831
                • .
                • ) [30]
                • No file at.bbl.
                • (./append.ltx
                • LaTeX Warning: Citation `HHKR92.new' on page 31 undefined on input line 7.
                • (./spec/ATerm.mtx
                • Underfull \hbox (badness 10000) in alignment at lines 32--32
                • [] [] []
                • Underfull \hbox (badness 10000) in alignment at lines 133--133
                • [] [] []
                • [31])
                • LaTeX Warning: Reference `aterms-at-a-glance' on page 32 undefined on input lin
                • e 21.
                • LaTeX Warning: Reference `aterms-at-a-glance' on page 32 undefined on input lin
                • e 28.
                • [32]
                • Overfull \hbox (3.87334pt too wide) in paragraph at lines 105--108
                • []\OT1/cmtt/m/n/10 ATermAppl ATmakeAppl(AFun $\OML/cmm/m/it/10 f$\OT1/cmtt/m/n/
                • 10 , ATermList \OT1/cmtt/m/it/10 as\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Con-stru
                • ct a new func-
                • [33]
                • Underfull \hbox (badness 10000) in paragraph at lines 147--150
                • []\OT1/cmtt/m/n/10 ATermList ATgetSlice(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt
                • /m/n/10 , Integer \OT1/cmtt/m/it/10 frm\OT1/cmtt/m/n/10 , Integer \OT1/cmtt/m/i
                • t/10 to\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 :
                • Overfull \hbox (0.30772pt too wide) in paragraph at lines 168--172
                • []\OT1/cmtt/m/n/10 Integer ATindexOf(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt/m/
                • n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i
                • $\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Search for an
                • Overfull \hbox (2.00156pt too wide) in paragraph at lines 184--186
                • []\OT1/cmtt/m/n/10 ATermList ATremoveElement(ATermList $\OML/cmm/m/it/10 l$\OT1
                • /cmtt/m/n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Re
                • -move once oc-
                • Overfull \hbox (0.9569pt too wide) in paragraph at lines 187--189
                • []\OT1/cmtt/m/n/10 ATermList ATremoveElementAt(ATermList $\OML/cmm/m/it/10 l$\O
                • T1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10
                • : Re-move the
                • [34]
                • Overfull \hbox (3.29036pt too wide) in paragraph at lines 228--230
                • []\OT1/cmtt/m/n/10 Data ATgetBlobData(ATermBlob \OT1/cmtt/m/it/10 blob\OT1/cmtt
                • /m/n/10 )\OT1/cmr/m/n/10 : Re-trieve the data pointer stored
                • ) [35] (./at.aux)
                • LaTeX Warning: There were undefined references.
                • LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
                • )
                • (see the transcript file for additional information)
                • Output written on at.dvi (35 pages, 127524 bytes).
                • Transcript written on at.log.
                • LaTeX Warning: Citation `OLE' on page 1 undefined on input line 17.
                • LaTeX Warning: Citation `Java' on page 1 undefined on input line 20.
                • LaTeX Warning: Citation `OMG-IDL' on page 1 undefined on input line 23.
                • LaTeX Warning: Citation `Kli93.meta' on page 2 undefined on input line 62.
                • LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 62.
                • LaTeX Warning: Citation `BK98' on page 2 undefined on input line 63.
                • LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 474.
                • LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 479.
                • LaTeX Warning: Citation `BW88' on page 10 undefined on input line 544.
                • LaTeX Warning: Citation `Bo93' on page 10 undefined on input line 544.
                • LaTeX Warning: Citation `JL96' on page 10 undefined on input line 546.
                • LaTeX Warning: Citation `BW88' on page 10 undefined on input line 557.
                • LaTeX Warning: Citation `ADR95' on page 17 undefined on input line 970.
                • LaTeX Warning: Citation `GL99' on page 17 undefined on input line 974.
                • LaTeX Warning: Citation `Lut99' on page 17 undefined on input line 974.
                • LaTeX Warning: Citation `DG95' on page 17 undefined on input line 975.
                • LaTeX Warning: Citation `GP95' on page 17 undefined on input line 978.
                • LaTeX Warning: Citation `Wan97' on page 18 undefined on input line 992.
                • LaTeX Warning: Citation `Han99' on page 18 undefined on input line 992.
                • LaTeX Warning: Citation `DK98' on page 21 undefined on input line 1293.
                • LaTeX Warning: Citation `BSV97' on page 21 undefined on input line 1294.
                • LaTeX Warning: Citation `BKO99' on page 21 undefined on input line 1297.
                • LaTeX Warning: Citation `BKMO97' on page 21 undefined on input line 1298.
                • LaTeX Warning: Citation `HHKR92.new' on page 22 undefined on input line 1314.
                • LaTeX Warning: Citation `BHK89' on page 22 undefined on input line 1314.
                • LaTeX Warning: Citation `DHK96' on page 22 undefined on input line 1314.
                • LaTeX Warning: Citation `Kli93.meta' on page 22 undefined on input line 1324.
                • LaTeX Warning: Citation `HHKR92.new' on page 23 undefined on input line 1365.
                • LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1413.
                • LaTeX Warning: Citation `BKO98.casl' on page 24 undefined on input line 1425.
                • LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1430.
                • LaTeX Warning: Citation `Kli93.meta' on page 25 undefined on input line 1452.
                • LaTeX Warning: Citation `BK98' on page 25 undefined on input line 1456.
                • LaTeX Warning: Citation `BKMO97' on page 25 undefined on input line 1457.
                • LaTeX Warning: Citation `Vis97' on page 25 undefined on input line 1464.
                • LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1481.
                • LaTeX Warning: Citation `BDKKM96' on page 25 undefined on input line 1488.
                • LaTeX Warning: Citation `VanDenBrandKlintVerhoef:98' on page 25 undefined on in
                • LaTeX Warning: Citation `ADR95' on page 25 undefined on input line 1492.
                • LaTeX Warning: Citation `BSV97' on page 25 undefined on input line 1493.
                • LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1501.
                • LaTeX Warning: Citation `GL99' on page 26 undefined on input line 1541.
                • LaTeX Warning: Citation `VBT98' on page 26 undefined on input line 1548.
                • LaTeX Warning: Citation `BCDIKLP89' on page 26 undefined on input line 1583.
                • LaTeX Warning: Citation `Eli92' on page 26 undefined on input line 1583.
                • LaTeX Warning: Citation `Ast92' on page 26 undefined on input line 1584.
                • LaTeX Warning: Citation `Suif94' on page 26 undefined on input line 1584.
                • LaTeX Warning: Citation `Wan97' on page 26 undefined on input line 1584.
                • LaTeX Warning: Citation `Karasick98' on page 26 undefined on input line 1585.
                • LaTeX Warning: Citation `Lamb-IDL' on page 26 undefined on input line 1588.
                • LaTeX Warning: Citation `OMG-IDL' on page 26 undefined on input line 1588.
                • LaTeX Warning: Citation `Wan97' on page 27 undefined on input line 1623.
                • LaTeX Warning: Citation `Han99' on page 27 undefined on input line 1626.
                • LaTeX Warning: Citation `XML1.0' on page 28 undefined on input line 1718.
                • LaTeX Warning: Citation `ASN.1.PER' on page 28 undefined on input line 1744.
                • LaTeX Warning: Citation `Kam94' on page 29 undefined on input line 1748.
                • LaTeX Warning: Citation `Alan:78' on page 29 undefined on input line 1768.
                • LaTeX Warning: Citation `TerashimaKanada:90' on page 29 undefined on input line
                • LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line
                • LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line
                • LaTeX Warning: Citation `BK98' on page 29 undefined on input line 1802.
                • LaTeX Warning: Citation `GB94' on page 29 undefined on input line 1806.
                • LaTeX Warning: Citation `FKW98' on page 29 undefined on input line 1808.
                • LaTeX Warning: Citation `HHKR92.new' on page 31 undefined on input line 7.
                • This is BibTeX, Version 0.99c (Web2C 7.5.4)
                • The top-level auxiliary file: at.aux
                • The style file: alpha.bst
                • Database file #1: thesis.bib
                • Warning--I didn't find a database entry for "BCDIKLP89"
                • Warning--empty author in ASN.1.PER
                • Warning--empty author in XML1.0
                • (There were 3 warnings)
                • This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)
                • entering extended mode
                • (./at.ltx
                • LaTeX2e <2003/12/01>
                • Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
                • ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
                • stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
                • h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
                • kish, ukrainian, nohyphenation, loaded.
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/article.cls
                • Document Class: article 2004/02/16 v1.4f Standard LaTeX document class
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/size10.clo))
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/gen/...-tetex-3.0/share/texmf-dist/tex/gen
                • eric/babel/babel.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/gen/...-tetex-3.0/share/texmf-dist/tex/gen
                • eric/babel/english.ldf
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/gen/...-tetex-3.0/share/texmf-dist/tex/gen
                • eric/babel/babel.def)))
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/epsfig.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/graphicx.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/keyval.sty)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/graphics.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/trig.sty)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/graphics.cfg)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/dvips.def))))
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/latexsym.sty) (./spec/ASF+SDF.sty
                • LaTeX Warning: You have requested package `spec/ASF+SDF',
                • but the package provides `ASF+SDF'.
                • ) (./spec/ASF+SDF-options.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/pla/...-tetex-3.0/share/texmf-dist/tex/pla
                • in/amsfonts/amssym.def)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/pla/...-tetex-3.0/share/texmf-dist/tex/pla
                • in/amsfonts/amssym.tex)) (./at.aux)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/ulasy.fd) (./aterm.ltx
                • LaTeX Warning: Citation `OLE' on page 1 undefined on input line 17.
                • LaTeX Warning: Citation `Java' on page 1 undefined on input line 20.
                • LaTeX Warning: Citation `OMG-IDL' on page 1 undefined on input line 23.
                • [1]
                • LaTeX Warning: Citation `Kli93.meta' on page 2 undefined on input line 62.
                • LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 62.
                • LaTeX Warning: Citation `BK98' on page 2 undefined on input line 63.
                • [2]
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/omscmr.fd) [3]
                • Overfull \hbox (3.11102pt too wide) in paragraph at lines 165--167
                • []\OT1/cmr/m/n/10 Integer and real con-stants are writ-ten con-ven-tion-ally: \
                • OT1/cmtt/m/n/10 1\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 3.14\OT1/cmr/m/n/10 , and \
                • OT1/cmtt/m/n/10 -0.7E34
                • [4] [5] [6] [7]
                • LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 474.
                • LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 479.
                • [8] [9]
                • LaTeX Warning: Citation `BW88' on page 10 undefined on input line 544.
                • LaTeX Warning: Citation `Bo93' on page 10 undefined on input line 544.
                • LaTeX Warning: Citation `JL96' on page 10 undefined on input line 546.
                • LaTeX Warning: Citation `BW88' on page 10 undefined on input line 557.
                • [10] <header.eps> [11] <encoding.eps> [12] [13] [14] [15] [16]
                • LaTeX Warning: Citation `ADR95' on page 17 undefined on input line 970.
                • LaTeX Warning: Citation `GL99' on page 17 undefined on input line 974.
                • LaTeX Warning: Citation `Lut99' on page 17 undefined on input line 974.
                • LaTeX Warning: Citation `DG95' on page 17 undefined on input line 975.
                • LaTeX Warning: Citation `GP95' on page 17 undefined on input line 978.
                • [17]
                • Overfull \hbox (4.26779pt too wide) in paragraph at lines 984--990
                • []\OT1/cmr/m/n/10 a col-lec-tion of ab-stract syn-tax trees rep-re-sented as []
                • LaTeX Warning: Citation `Wan97' on page 18 undefined on input line 992.
                • LaTeX Warning: Citation `Han99' on page 18 undefined on input line 992.
                • Overfull \hbox (14.72295pt too wide) in paragraph at lines 1022--1049
                • []
                • [18] <sharing.eps>
                • Overfull \hbox (21.0562pt too wide) in paragraph at lines 1095--1131
                • []
                • Overfull \hbox (5.63943pt too wide) in paragraph at lines 1147--1184
                • []
                • [19]
                • Overfull \hbox (9.22298pt too wide) in paragraph at lines 1210--1239
                • []
                • [20]
                • LaTeX Warning: Citation `DK98' on page 21 undefined on input line 1293.
                • LaTeX Warning: Citation `BSV97' on page 21 undefined on input line 1294.
                • LaTeX Warning: Citation `BKO99' on page 21 undefined on input line 1297.
                • LaTeX Warning: Citation `BKMO97' on page 21 undefined on input line 1298.
                • [21]
                • LaTeX Warning: Citation `HHKR92.new' on page 22 undefined on input line 1314.
                • LaTeX Warning: Citation `BHK89' on page 22 undefined on input line 1314.
                • LaTeX Warning: Citation `DHK96' on page 22 undefined on input line 1314.
                • LaTeX Warning: Citation `Kli93.meta' on page 22 undefined on input line 1324.
                • [22]
                • LaTeX Warning: Citation `HHKR92.new' on page 23 undefined on input line 1365.
                • [23]
                • LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1413.
                • LaTeX Warning: Citation `BKO98.casl' on page 24 undefined on input line 1425.
                • LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1430.
                • [24]
                • LaTeX Warning: Citation `Kli93.meta' on page 25 undefined on input line 1452.
                • LaTeX Warning: Citation `BK98' on page 25 undefined on input line 1456.
                • LaTeX Warning: Citation `BKMO97' on page 25 undefined on input line 1457.
                • LaTeX Warning: Citation `Vis97' on page 25 undefined on input line 1464.
                • LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1481.
                • LaTeX Warning: Citation `BDKKM96' on page 25 undefined on input line 1488.
                • LaTeX Warning: Citation `VanDenBrandKlintVerhoef:98' on page 25 undefined on in
                • put line 1488.
                • LaTeX Warning: Citation `ADR95' on page 25 undefined on input line 1492.
                • LaTeX Warning: Citation `BSV97' on page 25 undefined on input line 1493.
                • LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1501.
                • Overfull \hbox (4.30261pt too wide) in paragraph at lines 1505--1516
                • []
                • [25]
                • LaTeX Warning: Citation `GL99' on page 26 undefined on input line 1541.
                • LaTeX Warning: Citation `VBT98' on page 26 undefined on input line 1548.
                • LaTeX Warning: Citation `BCDIKLP89' on page 26 undefined on input line 1583.
                • LaTeX Warning: Citation `Eli92' on page 26 undefined on input line 1583.
                • LaTeX Warning: Citation `Ast92' on page 26 undefined on input line 1584.
                • LaTeX Warning: Citation `Suif94' on page 26 undefined on input line 1584.
                • LaTeX Warning: Citation `Wan97' on page 26 undefined on input line 1584.
                • LaTeX Warning: Citation `Karasick98' on page 26 undefined on input line 1585.
                • LaTeX Warning: Citation `Lamb-IDL' on page 26 undefined on input line 1588.
                • LaTeX Warning: Citation `OMG-IDL' on page 26 undefined on input line 1588.
                • [26]
                • LaTeX Warning: Citation `Wan97' on page 27 undefined on input line 1623.
                • LaTeX Warning: Citation `Han99' on page 27 undefined on input line 1626.
                • [27]
                • LaTeX Warning: Citation `XML1.0' on page 28 undefined on input line 1718.
                • LaTeX Warning: Citation `ASN.1.PER' on page 28 undefined on input line 1744.
                • [28]
                • LaTeX Warning: Citation `Kam94' on page 29 undefined on input line 1748.
                • LaTeX Warning: Citation `Alan:78' on page 29 undefined on input line 1768.
                • LaTeX Warning: Citation `TerashimaKanada:90' on page 29 undefined on input line
                • 1776.
                • LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line
                • 1780.
                • LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line
                • 1787.
                • LaTeX Warning: Citation `BK98' on page 29 undefined on input line 1802.
                • LaTeX Warning: Citation `GB94' on page 29 undefined on input line 1806.
                • LaTeX Warning: Citation `FKW98' on page 29 undefined on input line 1808.
                • [29]) [30] (./at.bbl
                • LaTeX Warning: Citation `CoFI' on page 31 undefined on input line 57.
                • [31]
                • LaTeX Warning: Citation `CoFI' on page 32 undefined on input line 100.
                • [32] [33]
                • Underfull \hbox (badness 6364) in paragraph at lines 251--254
                • []\OT1/cmr/m/n/10 Extensible markup lan-guage (XML) 1.0. Tech-ni-cal re-
                • Underfull \hbox (badness 2573) in paragraph at lines 251--254
                • \OT1/cmr/m/n/10 port, World Wide Web Con-sor-tium, 1998. Avail-able at:
                • ) (./append.ltx
                • LaTeX Warning: Citation `HHKR92.new' on page 34 undefined on input line 7.
                • (./spec/ATerm.mtx
                • Underfull \hbox (badness 10000) in alignment at lines 32--32
                • [] [] []
                • [34]
                • Underfull \hbox (badness 10000) in alignment at lines 133--133
                • [] [] []
                • ) [35]
                • Overfull \hbox (3.87334pt too wide) in paragraph at lines 105--108
                • []\OT1/cmtt/m/n/10 ATermAppl ATmakeAppl(AFun $\OML/cmm/m/it/10 f$\OT1/cmtt/m/n/
                • 10 , ATermList \OT1/cmtt/m/it/10 as\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Con-stru
                • ct a new func-
                • [36]
                • Underfull \hbox (badness 10000) in paragraph at lines 147--150
                • []\OT1/cmtt/m/n/10 ATermList ATgetSlice(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt
                • /m/n/10 , Integer \OT1/cmtt/m/it/10 frm\OT1/cmtt/m/n/10 , Integer \OT1/cmtt/m/i
                • t/10 to\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 :
                • Overfull \hbox (0.30772pt too wide) in paragraph at lines 168--172
                • []\OT1/cmtt/m/n/10 Integer ATindexOf(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt/m/
                • n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i
                • $\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Search for an
                • [37]
                • Overfull \hbox (2.00156pt too wide) in paragraph at lines 184--186
                • []\OT1/cmtt/m/n/10 ATermList ATremoveElement(ATermList $\OML/cmm/m/it/10 l$\OT1
                • /cmtt/m/n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Re
                • -move once oc-
                • Overfull \hbox (0.9569pt too wide) in paragraph at lines 187--189
                • []\OT1/cmtt/m/n/10 ATermList ATremoveElementAt(ATermList $\OML/cmm/m/it/10 l$\O
                • T1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10
                • : Re-move the
                • Overfull \hbox (3.29036pt too wide) in paragraph at lines 228--230
                • []\OT1/cmtt/m/n/10 Data ATgetBlobData(ATermBlob \OT1/cmtt/m/it/10 blob\OT1/cmtt
                • /m/n/10 )\OT1/cmr/m/n/10 : Re-trieve the data pointer stored
                • ) [38] (./at.aux)
                • LaTeX Warning: There were undefined references.
                • LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
                • )
                • (see the transcript file for additional information)
                • Output written on at.dvi (38 pages, 138128 bytes).
                • Transcript written on at.log.
                • LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
                • This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)
                • entering extended mode
                • (./at.ltx
                • LaTeX2e <2003/12/01>
                • Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
                • ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
                • stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
                • h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
                • kish, ukrainian, nohyphenation, loaded.
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/article.cls
                • Document Class: article 2004/02/16 v1.4f Standard LaTeX document class
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/size10.clo))
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/gen/...-tetex-3.0/share/texmf-dist/tex/gen
                • eric/babel/babel.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/gen/...-tetex-3.0/share/texmf-dist/tex/gen
                • eric/babel/english.ldf
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/gen/...-tetex-3.0/share/texmf-dist/tex/gen
                • eric/babel/babel.def)))
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/epsfig.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/graphicx.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/keyval.sty)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/graphics.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/trig.sty)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/graphics.cfg)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/dvips.def))))
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/latexsym.sty) (./spec/ASF+SDF.sty
                • LaTeX Warning: You have requested package `spec/ASF+SDF',
                • but the package provides `ASF+SDF'.
                • ) (./spec/ASF+SDF-options.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/pla/...-tetex-3.0/share/texmf-dist/tex/pla
                • in/amsfonts/amssym.def)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/pla/...-tetex-3.0/share/texmf-dist/tex/pla
                • in/amsfonts/amssym.tex)) (./at.aux)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/ulasy.fd) (./aterm.ltx
                • Underfull \hbox (badness 1383) in paragraph at lines 15--26
                • \OT1/cmr/m/n/10 achieved? One so-lu-tion is Mi-crosoft's Ob-ject Link-ing and E
                • m-bed-ding
                • [1] [2]
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/omscmr.fd) [3]
                • Overfull \hbox (3.11102pt too wide) in paragraph at lines 165--167
                • []\OT1/cmr/m/n/10 Integer and real con-stants are writ-ten con-ven-tion-ally: \
                • OT1/cmtt/m/n/10 1\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 3.14\OT1/cmr/m/n/10 , and \
                • OT1/cmtt/m/n/10 -0.7E34
                • [4] [5] [6] [7] [8] [9] [10] <header.eps> [11] <encoding.eps> [12] [13]
                • [14] [15] [16] [17]
                • Overfull \hbox (4.26779pt too wide) in paragraph at lines 984--990
                • []\OT1/cmr/m/n/10 a col-lec-tion of ab-stract syn-tax trees rep-re-sented as []
                • Overfull \hbox (14.72295pt too wide) in paragraph at lines 1022--1049
                • []
                • [18] <sharing.eps>
                • Overfull \hbox (21.0562pt too wide) in paragraph at lines 1095--1131
                • []
                • Overfull \hbox (5.63943pt too wide) in paragraph at lines 1147--1184
                • []
                • [19]
                • Overfull \hbox (9.22298pt too wide) in paragraph at lines 1210--1239
                • []
                • [20] [21] [22] [23] [24]
                • Overfull \hbox (4.30261pt too wide) in paragraph at lines 1505--1516
                • []
                • [25]
                • LaTeX Warning: Citation `BCDIKLP89' on page 26 undefined on input line 1583.
                • [26] [27] [28]
                • Underfull \hbox (badness 1571) in paragraph at lines 1747--1756
                • []\OT1/cmr/m/n/10 In an ear-lier project in our group, the Graph Ex-change Lan-
                • guage
                • [29]) [30] (./at.bbl
                • LaTeX Warning: Citation `CoFI' on page 31 undefined on input line 57.
                • [31]
                • LaTeX Warning: Citation `CoFI' on page 32 undefined on input line 100.
                • [32] [33]
                • Underfull \hbox (badness 6364) in paragraph at lines 251--254
                • []\OT1/cmr/m/n/10 Extensible markup lan-guage (XML) 1.0. Tech-ni-cal re-
                • Underfull \hbox (badness 2573) in paragraph at lines 251--254
                • \OT1/cmr/m/n/10 port, World Wide Web Con-sor-tium, 1998. Avail-able at:
                • ) (./append.ltx (./spec/ATerm.mtx
                • Underfull \hbox (badness 10000) in alignment at lines 32--32
                • [] [] []
                • [34]
                • Underfull \hbox (badness 10000) in alignment at lines 133--133
                • [] [] []
                • ) [35]
                • Overfull \hbox (3.87334pt too wide) in paragraph at lines 105--108
                • []\OT1/cmtt/m/n/10 ATermAppl ATmakeAppl(AFun $\OML/cmm/m/it/10 f$\OT1/cmtt/m/n/
                • 10 , ATermList \OT1/cmtt/m/it/10 as\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Con-stru
                • ct a new func-
                • [36]
                • Underfull \hbox (badness 10000) in paragraph at lines 147--150
                • []\OT1/cmtt/m/n/10 ATermList ATgetSlice(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt
                • /m/n/10 , Integer \OT1/cmtt/m/it/10 frm\OT1/cmtt/m/n/10 , Integer \OT1/cmtt/m/i
                • t/10 to\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 :
                • Overfull \hbox (0.30772pt too wide) in paragraph at lines 168--172
                • []\OT1/cmtt/m/n/10 Integer ATindexOf(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt/m/
                • n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i
                • $\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Search for an
                • [37]
                • Overfull \hbox (2.00156pt too wide) in paragraph at lines 184--186
                • []\OT1/cmtt/m/n/10 ATermList ATremoveElement(ATermList $\OML/cmm/m/it/10 l$\OT1
                • /cmtt/m/n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Re
                • -move once oc-
                • Overfull \hbox (0.9569pt too wide) in paragraph at lines 187--189
                • []\OT1/cmtt/m/n/10 ATermList ATremoveElementAt(ATermList $\OML/cmm/m/it/10 l$\O
                • T1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10
                • : Re-move the
                • Overfull \hbox (3.29036pt too wide) in paragraph at lines 228--230
                • []\OT1/cmtt/m/n/10 Data ATgetBlobData(ATermBlob \OT1/cmtt/m/it/10 blob\OT1/cmtt
                • /m/n/10 )\OT1/cmr/m/n/10 : Re-trieve the data pointer stored
                • ) [38] (./at.aux)
                • LaTeX Warning: There were undefined references.
                • )
                • (see the transcript file for additional information)
                • Output written on at.dvi (38 pages, 138400 bytes).
                • Transcript written on at.log.
              • make[2]: Leaving directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc'
            • make header.eps encoding.eps hierarchy.eps
            • +- make[2]: Entering directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc'
              • make[2]: `header.eps' is up to date.
              • make[2]: `encoding.eps' is up to date.
              • make[2]: `hierarchy.eps' is up to date.
              • make[2]: Leaving directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc'
            • dvips -o at.ps at.dvi
            • This is dvips(k) 5.95a Copyright 2005 Radical Eye Software (www.radicaleye.com)
            • ' TeX output 2008.09.13:1010' -> at.ps
            • <tex.pro><texps.pro><special.pro>. <cmsy7.pfb><cmitt10.pfb><lasy10.pfb>
            • <cmb10.pfb><cmtt9.pfb><cmcsc10.pfb><cmtt8.pfb><cmmi7.pfb><cmbx10.pfb>
            • <cmmi10.pfb><cmr7.pfb><cmsy10.pfb><cmtt10.pfb><cmbx12.pfb><cmti10.pfb>
            • <cmr10.pfb><cmti9.pfb><cmr9.pfb><cmbx9.pfb><cmsl9.pfb><cmmi8.pfb><cmr8.pfb>
            • <cmr6.pfb><cmr12.pfb><cmr17.pfb>[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
            • [12<header.eps>] [13<encoding.eps>] [14] [15] [16] [17] [18] [19] [20
            • <sharing.eps>] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32]
            • [33] [34] [35] [36] [37] [38]
          • +- building manual.ps
            • make manual.dvi
            • +- make[2]: Entering directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc'
              • +- building manual.dvi
                • TEXINPUTS=$TEXINPUTS:. ;\� export TEXINPUTS ;\� latex manual.ltx ;\� fgrep -s 'LaTeX Warning: Citation' manual.log && bibtex manual && latex manual.ltx ;\� while fgrep -s 'Rerun to get cross-references right' manual.log ;\� do \� TEXINPUTS=$TEXINPUTS:. ;\� latex manual.ltx ;\� done
                • This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)
                • entering extended mode
                • (./manual.ltx
                • LaTeX2e <2003/12/01>
                • Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
                • ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
                • stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
                • h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
                • kish, ukrainian, nohyphenation, loaded.
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/article.cls
                • Document Class: article 2004/02/16 v1.4f Standard LaTeX document class
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/size10.clo))
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/a4wide/a4wide.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/ntgclass/a4.sty))
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/tools/verbatim.sty)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/base/makeidx.sty)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/epsfig.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/graphicx.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/keyval.sty)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/graphics.sty
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/trig.sty)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/graphics.cfg)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/graphics/dvips.def))))
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/psnfss/times.sty)
                • Writing index file manual.idx
                • No file manual.aux.
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/psnfss/ot1ptm.fd)
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/psnfss/ot1pcr.fd)
                • No file manual.toc.
                • [1]
                • LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 136.
                • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
                • ex/psnfss/omsptm.fd)
                • LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 148.
                • LaTeX Warning: Citation `BOHK98' on page 2 undefined on input line 149.
                • LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 153.
                • LaTeX Warning: Reference `usage' on page 2 undefined on input line 155.
                • LaTeX Warning: Reference `lvl1' on page 2 undefined on input line 158.
                • LaTeX Warning: Reference `lvl2' on page 2 undefined on input line 162.
                • LaTeX Warning: Reference `utils' on page 2 undefined on input line 167.
                • LaTeX Warning: Reference `sharing' on page 2 undefined on input line 177.
                • LaTeX Warning: Reference `gc' on page 2 undefined on input line 180.
                • LaTeX Warning: Reference `init' on page 2 undefined on input line 185.
                • LaTeX Warning: Reference `prot' on page 2 undefined on input line 193.
                • LaTeX Warning: Reference `baf' on page 2 undefined on input line 197.
                • LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 221.
                • [2]
                • Overfull \hbox (18.21326pt too wide) in paragraph at lines 232--232
                • [] \OT1/pcr/m/n/9 ATerm bottomOfStack; /* Used in initialisat
                • ion of library */[]
                • Overfull \hbox (18.21326pt too wide) in paragraph at lines 232--232
                • [] \OT1/pcr/m/n/9 ATinit(argc, argv, &bottomOfStack); /* Initialise the ATer
                • m library. */[]
                • Overfull \hbox (18.21326pt too wide) in paragraph at lines 232--232
                • [] \OT1/pcr/m/n/9 foo(); /* Call to code that w
                • orks with ATerms. */[]
                • Overfull \hbox (23.61325pt too wide) in paragraph at lines 270--270
                • []\OT1/pcr/m/n/9 #define NR_ENTRIES 42 /* arbitrary number
                • for this example. */[]
                • [3]
                • Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270
                • [] \OT1/pcr/m/n/9 ATerm bottomOfStack; /* Used in initial
                • isation of library */[]
                • Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270
                • [] \OT1/pcr/m/n/9 ATinit(argc, argv, &bottomOfStack); /* Initialise the
                • ATerm library. */[]
                • Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270
                • [] \OT1/pcr/m/n/9 ATprotect(&global_aterm); /* Protect the glo
                • bal aterm variable. */[]
                • Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270
                • [] \OT1/pcr/m/n/9 ATprotectArray(global_arr, NR_ENTRIES); /* Protect the glo
                • bal aterm array. */[]
                • Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270
                • [] \OT1/pcr/m/n/9 foo(); /* Call to code th
                • at works with ATerms. */[]
                • LaTeX Warning: Reference `prot' on page 4 undefined on input line 274.
                • LaTeX Warning: Reference `util-baffle' on page 4 undefined on input line 303.
                • [4]
                • LaTeX Warning: Reference `types1' on page 5 undefined on input line 345.
                • LaTeX Warning: Reference `blob-vs-baf' on page 5 undefined on input line 348.
                • LaTeX Warning: Reference `func1' on page 5 undefined on input line 350.
                • LaTeX Warning: Reference `baf' on page 5 undefined on input line 385.
                • [5]
                • Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437
                • [] \OT1/pcr/m/n/9 term[0] = ATmake("<int>" , ival); /* integer value:
                • 42 */[]
                • Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437
                • [] \OT1/pcr/m/n/9 term[1] = ATmake("<str>" , func); /* quoted applicat
                • ion: "f", no args */[]
                • Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437
                • [] \OT1/pcr/m/n/9 term[2] = ATmake("<real>", rval); /* real value: 3.1
                • 4 */[]
                • Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437
                • [] \OT1/pcr/m/n/9 term[3] = ATmake("<blob>", 8, blob); /* blob of size 8,
                • data: 12345678 */[]
                • Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437
                • [] \OT1/pcr/m/n/9 appl[2] = ATmake("<appl(<int>, <term>, <list>)>", func, 42
                • , term[3], list[2]);[]
                • [6] [7] [8]
                • LaTeX Warning: Reference `sharing' on page 9 undefined on input line 547.
                • ! Undefined control sequence.
                • <recently read> \ATbool
                • l.572 ...e named {\tt filename} in textual format}
                • ?
                • ! Emergency stop.
                • <recently read> \ATbool
                • l.572 ...e named {\tt filename} in textual format}
                • Output written on manual.dvi (8 pages, 29872 bytes).
                • Transcript written on manual.log.
                • LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 136.
                • LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 148.
                • LaTeX Warning: Citation `BOHK98' on page 2 undefined on input line 149.
                • LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 153.
                • LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 221.
                • This is BibTeX, Version 0.99c (Web2C 7.5.4)
                • The top-level auxiliary file: manual.aux
                • I found no \bibdata command---while reading file manual.aux
                • I found no \bibstyle command---while reading file manual.aux
                • (There were 2 error messages)
              • make[2]: Leaving directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc'
            • TEXINPUTS=$TEXINPUTS:.;\� makeindex manual.idx ;\� latex ./manual.ltx ;\� dvips -o manual.ps manual.dvi
            • This is makeindex, version 2.14 [02-Oct-2002] (kpathsea + Thai support).
            • Scanning input file manual.idx....done (13 entries accepted, 0 rejected).
            • Sorting entries....done (48 comparisons).
            • Generating output file manual.ind....done (17 lines written, 0 warnings).
            • Output written in manual.ind.
            • Transcript written in manual.ilg.
            • This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)
            • entering extended mode
            • (./manual.ltx
            • LaTeX2e <2003/12/01>
            • Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
            • ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
            • stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
            • h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
            • kish, ukrainian, nohyphenation, loaded.
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/base/article.cls
            • Document Class: article 2004/02/16 v1.4f Standard LaTeX document class
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/base/size10.clo))
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/a4wide/a4wide.sty
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/ntgclass/a4.sty))
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/tools/verbatim.sty)
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/base/makeidx.sty)
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/graphics/epsfig.sty
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/graphics/graphicx.sty
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/graphics/keyval.sty)
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/graphics/graphics.sty
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/graphics/trig.sty)
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/graphics/graphics.cfg)
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/graphics/dvips.def))))
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/psnfss/times.sty)
            • Writing index file manual.idx
            • (./manual.aux)
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/psnfss/ot1ptm.fd)
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/psnfss/ot1pcr.fd) (./manual.toc) [1]
            • LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 136.
            • (/nix/store/1x64mb0w3b7v74xw20mpwsp812ifn7nn-tetex-3.0/share/texmf-dist/tex/lat/...-tetex-3.0/share/texmf-dist/tex/lat
            • ex/psnfss/omsptm.fd)
            • LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 148.
            • LaTeX Warning: Citation `BOHK98' on page 2 undefined on input line 149.
            • LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 153.
            • LaTeX Warning: Reference `lvl2' on page 2 undefined on input line 162.
            • LaTeX Warning: Reference `utils' on page 2 undefined on input line 167.
            • LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 221.
            • [2]
            • Overfull \hbox (18.21326pt too wide) in paragraph at lines 232--232
            • [] \OT1/pcr/m/n/9 ATerm bottomOfStack; /* Used in initialisat
            • ion of library */[]
            • Overfull \hbox (18.21326pt too wide) in paragraph at lines 232--232
            • [] \OT1/pcr/m/n/9 ATinit(argc, argv, &bottomOfStack); /* Initialise the ATer
            • m library. */[]
            • Overfull \hbox (18.21326pt too wide) in paragraph at lines 232--232
            • [] \OT1/pcr/m/n/9 foo(); /* Call to code that w
            • orks with ATerms. */[]
            • Overfull \hbox (23.61325pt too wide) in paragraph at lines 270--270
            • []\OT1/pcr/m/n/9 #define NR_ENTRIES 42 /* arbitrary number
            • for this example. */[]
            • [3]
            • Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270
            • [] \OT1/pcr/m/n/9 ATerm bottomOfStack; /* Used in initial
            • isation of library */[]
            • Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270
            • [] \OT1/pcr/m/n/9 ATinit(argc, argv, &bottomOfStack); /* Initialise the
            • ATerm library. */[]
            • Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270
            • [] \OT1/pcr/m/n/9 ATprotect(&global_aterm); /* Protect the glo
            • bal aterm variable. */[]
            • Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270
            • [] \OT1/pcr/m/n/9 ATprotectArray(global_arr, NR_ENTRIES); /* Protect the glo
            • bal aterm array. */[]
            • Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270
            • [] \OT1/pcr/m/n/9 foo(); /* Call to code th
            • at works with ATerms. */[]
            • LaTeX Warning: Reference `util-baffle' on page 4 undefined on input line 303.
            • [4] [5]
            • Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437
            • [] \OT1/pcr/m/n/9 term[0] = ATmake("<int>" , ival); /* integer value:
            • 42 */[]
            • Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437
            • [] \OT1/pcr/m/n/9 term[1] = ATmake("<str>" , func); /* quoted applicat
            • ion: "f", no args */[]
            • Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437
            • [] \OT1/pcr/m/n/9 term[2] = ATmake("<real>", rval); /* real value: 3.1
            • 4 */[]
            • Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437
            • [] \OT1/pcr/m/n/9 term[3] = ATmake("<blob>", 8, blob); /* blob of size 8,
            • data: 12345678 */[]
            • Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437
            • [] \OT1/pcr/m/n/9 appl[2] = ATmake("<appl(<int>, <term>, <list>)>", func, 42
            • , term[3], list[2]);[]
            • [6] [7] [8]
            • ! Undefined control sequence.
            • <recently read> \ATbool
            • l.572 ...e named {\tt filename} in textual format}
            • ?
            • ! Emergency stop.
            • <recently read> \ATbool
            • l.572 ...e named {\tt filename} in textual format}
            • Output written on manual.dvi (8 pages, 29796 bytes).
            • Transcript written on manual.log.
            • This is dvips(k) 5.95a Copyright 2005 Radical Eye Software (www.radicaleye.com)
            • ' TeX output 2008.09.13:1010' -> manual.ps
            • <tex.pro><8r.enc><texps.pro>. <cmsy9.pfb><cmr10.pfb><cmsy10.pfb>[1] [2] [3]
            • [4] [5] [6] [7] [8]
          • +- building distdir
            • list='examples spec'; for subdir in $list; do \� if test "$subdir" = .; then :; else \� test -d "/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm-2.5/doc/$subdir" \� || mkdir -p -- "/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm-2.5/doc/$subdir" \� || exit 1; \� distdir=`CDPATH="${ZSH_VERSION+.}:" && cd /tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm-2.5/doc && pwd`; \� top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd /tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm-2.5 && pwd`; \� (cd $subdir && \� make \� top_distdir="$top_distdir" \� distdir="$distdir/$subdir" \� distdir) \� || exit 1; \� fi; \� done
            • +- make[2]: Entering directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc/examples'
              • +- building distdir
                • make[2]: Leaving directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc/examples'
              • +- make[2]: Entering directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc/spec'
                • +- building distdir
                  • make[2]: Leaving directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc/spec'
              • make[1]: Leaving directory `/tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc'
            • find aterm-2.5 -type d ! -perm -777 -exec chmod a+rwx {} \; -o \� ! -type d ! -perm -444 -links 1 -exec chmod a+r {} \; -o \� ! -type d ! -perm -400 -exec chmod a+r {} \; -o \� ! -type d ! -perm -444 -exec /bin/sh /tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/install-sh -c -m a+r {} {} \; \� || chmod -R a+r aterm-2.5
          • +- building dist
            • tardir=aterm-2.5 && /bin/sh /tmp/nix-build-kzx1n2bry16k1yd9lmb9pz24vv02alkl-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/missing --run tar chof - "$tardir" | GZIP=--best gzip -c >aterm-2.5.tar.gz
            • { test ! -d aterm-2.5 || { find aterm-2.5 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr aterm-2.5; }; }
          • `aterm-2.5.tar.gz' -> `/nix/store/65hih4q65sjllgwzs9vr0hzydad24vkc-source-tarball/tarballs/aterm-2.5.tar.gz'/...-source-tarball/tarballs/aterm-2.5.tar.gz'