summaryrefslogtreecommitdiff
path: root/systems
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2023-01-10 03:01:21 +0000
committerNorbert Preining <norbert@preining.info>2023-01-10 03:01:21 +0000
commitdecba0e4470fd7bfe288f98ee709553fc13014b8 (patch)
tree781f266fc727864e1c9bb62f07c1069dc926fbec /systems
parent61f8490e549cb7af263b9d903bc20d61ea37a2d7 (diff)
CTAN sync 202301100301
Diffstat (limited to 'systems')
-rw-r--r--systems/texlive/tlnet/tlpkg/installer/ctan-mirrors.pl2
-rw-r--r--systems/texlive/tlnet/tlpkg/texlive.tlpdb1724
-rw-r--r--systems/texlive/tlnet/tlpkg/texlive.tlpdb.md52
-rw-r--r--systems/texlive/tlnet/tlpkg/texlive.tlpdb.sha5122
-rw-r--r--systems/texlive/tlnet/tlpkg/texlive.tlpdb.sha512.asc14
-rw-r--r--systems/texlive/tlnet/tlpkg/texlive.tlpdb.xzbin2441916 -> 2447020 bytes
6 files changed, 1664 insertions, 80 deletions
diff --git a/systems/texlive/tlnet/tlpkg/installer/ctan-mirrors.pl b/systems/texlive/tlnet/tlpkg/installer/ctan-mirrors.pl
index 55df24ea6c..2287a3929f 100644
--- a/systems/texlive/tlnet/tlpkg/installer/ctan-mirrors.pl
+++ b/systems/texlive/tlnet/tlpkg/installer/ctan-mirrors.pl
@@ -47,6 +47,7 @@ $mirrors = {
'https://cran.asia/tex/' => 1,
'https://ftp.kaist.ac.kr/pub/tex-archive/' => 1,
'https://lab.uklee.pe.kr/tex-archive/' => 1,
+ 'https://mirror.kakao.com/CTAN/' => 1,
'https://mirror.navercorp.com/CTAN/' => 1,
},
'Philippines' => {
@@ -190,7 +191,6 @@ $mirrors = {
'https://ctan.math.illinois.edu/' => 1,
'https://ctan.math.utah.edu/ctan/tex-archive/' => 1,
'https://ctan.math.washington.edu/tex-archive/' => 1,
- 'https://ctan.mirrors.hoobly.com/' => 1,
'https://mirror.las.iastate.edu/tex-archive/' => 1,
'https://mirror.math.princeton.edu/pub/CTAN/' => 1,
'https://mirror.mwt.me/ctan/' => 1,
diff --git a/systems/texlive/tlnet/tlpkg/texlive.tlpdb b/systems/texlive/tlnet/tlpkg/texlive.tlpdb
index 922488ff69..6521d84740 100644
--- a/systems/texlive/tlnet/tlpkg/texlive.tlpdb
+++ b/systems/texlive/tlnet/tlpkg/texlive.tlpdb
@@ -26,11 +26,11 @@ depend container_split_src_files/1
depend frozen/0
depend minrelease/2016
depend release/2022
-depend revision/65484
+depend revision/65496
name 00texlive.image
category TLCore
-revision 65485
+revision 65496
shortdesc TeX Live files only in the source repository
longdesc The files here are not copied by the installer and containers
longdesc are not built for them; they exist only in the source
@@ -4240,6 +4240,7 @@ runfiles size=12961
tlpkg/tlpsrc/tkzexample.tlpsrc
tlpkg/tlpsrc/tlc-article.tlpsrc
tlpkg/tlpsrc/tlc2.tlpsrc
+ tlpkg/tlpsrc/tlc3-examples.tlpsrc
tlpkg/tlpsrc/tlcockpit.tlpsrc
tlpkg/tlpsrc/tlgs.win32.tlpsrc
tlpkg/tlpsrc/tlmgr-intro-zh-cn.tlpsrc
@@ -4691,7 +4692,7 @@ depend setting_available_architectures:aarch64-linux amd64-freebsd amd64-netbsd
name 00texlive.installer
category TLCore
-revision 65477
+revision 65487
shortdesc TeX Live standalone installer package
longdesc This package defines the files to go into the installer
longdesc archives (install-tl-unx.tar.gz, install-tl.zip) built by the
@@ -36462,7 +36463,7 @@ catalogue-version 2.5
name bibcop
category Package
-revision 65306
+revision 65489
shortdesc Style checker for .bib files
longdesc This LaTeX package checks the quality of your .bib file and
longdesc emits warning messages if any issues are found. For this, the
@@ -36474,10 +36475,10 @@ depend bibcop.ARCH
depend fancyvrb
depend iexec
depend verbatimcopy
-containersize 6136
-containerchecksum d0b510a55ba24daf97727cd7b81174839276c4c8d467ec2ca1ea9729341d214fedfdd0b05650e33525e67f0c29b46e5e5337d8e08af8d07ba208b91b5ee526cc
-doccontainersize 353928
-doccontainerchecksum 1d36da4a989a59a1a044f310232207a9dd2d20a9cbb55dd5b0f2c52674d1a3ac54cba16de2e634e520a1a4e1e186ceff871ef701165313b4dcac615306700dff
+containersize 6164
+containerchecksum 056bc8d55b29dd15cf6cf12cb6a19554fcec9970509ea0c78a360f3fdeac6090565ee19fda4412041d2733369e8e38017aa69fba2f216040d66bdac286cfc89e
+doccontainersize 354808
+doccontainerchecksum cf0dab836d242a74d5d0eba9cbc1bb9863c4fe5925089d0a2e5b3df1a013b24dfd9803be9fa7dd7f86b587c800c015da5e67d870c9ce4ef8d09c22eeff020a19
docfiles size=94
texmf-dist/doc/latex/bibcop/DEPENDS.txt
texmf-dist/doc/latex/bibcop/LICENSE.txt
@@ -36486,8 +36487,8 @@ docfiles size=94
texmf-dist/doc/latex/bibcop/bibcop.pdf details="Package documentation"
texmf-dist/doc/man/man1/bibcop.1
texmf-dist/doc/man/man1/bibcop.man1.pdf
-srccontainersize 5416
-srccontainerchecksum 66dedb1e1cebd4cffc1aa411caf621b819c3a718561d899bc144574afd84313205bb14a0966838e0ddb77ad9dd7ab5fdf3570e1131bcb6138d4b27a9189ba4d3
+srccontainersize 5584
+srccontainerchecksum e767d81aec3e3a4de210372e23d989034f5c417c288e6b3c1b7767947dcb69d4ac881391631bd12662905b5a803015bd6e8f19c23c2801160c065e908916333a
srcfiles size=5
texmf-dist/source/latex/bibcop/bibcop.dtx
texmf-dist/source/latex/bibcop/bibcop.ins
@@ -36498,7 +36499,7 @@ catalogue-contact-repository https://github.com/yegor256/bibcop
catalogue-ctan /macros/latex/contrib/bibcop
catalogue-license mit
catalogue-topics biblio-supp ext-code
-catalogue-version 0.0.5
+catalogue-version 0.0.6
name bibcop.aarch64-linux
category Package
@@ -69827,7 +69828,7 @@ containerchecksum 719c321173ca12660891080dae509080934f72d13a9417b2c40a22add963c7
name collection-langenglish
category Collection
-revision 63184
+revision 65496
shortdesc US and UK English
relocated 1
longdesc Support for, and documentation in, English.
@@ -69894,14 +69895,15 @@ depend texbytopic
depend texonly
depend titlepages
depend tlc2
+depend tlc3-examples
depend tlmgrbasics
depend undergradmath
depend visualfaq
depend webguide
depend xetexref
depend yet-another-guide-latex2e
-containersize 860
-containerchecksum 94b1ee572454d4a791ab0637cf272f97a35dc5284c8a97a68715fcef36887eaa92ddb78f95722a6281d35c70fa6e5e4b6548ba8ca79fb69d9734c480383bdec2
+containersize 864
+containerchecksum 2c2f75491a801f71fe8a4a64d798c40f66dc71dbae32192089757a6881fd14299fe30a95eca65c75a9901c82c033a327f7d9a91080dea51f6679239d6660b2fd
name collection-langeuropean
category Collection
@@ -73529,7 +73531,7 @@ catalogue-version 0.2
name colorist
category Package
-revision 65475
+revision 65490
shortdesc Write your articles or books in a colorful way
relocated 1
longdesc This package offers you a LaTeX style file and two classes to
@@ -73545,10 +73547,10 @@ longdesc simplified and traditional), English, French, German, Italian,
longdesc Japanese, Portuguese (European and Brazilian), Russian and
longdesc Spanish typesetting, and also use more beautiful fonts.
depend projlib
-containersize 10776
-containerchecksum 3cedbd207f348c77245ce8c0baccbef1cc6722bd1833816b868645aa55de69db2011824414469b06f64eb7a1c3df7d4f267252e88196160e13c242f5328525b5
+containersize 10804
+containerchecksum 7e960901a67b790962c822b91f4d66b0dd82a04c7fc441a36a627d71e4dc3449178484e576b2821b754082e144f0daf4e9a425712d60657e18464ddbac21d0b7
doccontainersize 7448
-doccontainerchecksum b9e30c8176671347db4d83d43442e7b2b3c08ae8d579f9699a87ea72a3704b83516985248655dc681d8e3b2cbcd183d332af71457f328b15baa84d75698ad521
+doccontainerchecksum dd9a195f215a1c76610e8e9cf3e5c4dc264828354b5b466bacfe53cfca1cc66ee53d2c365580431e97d8de0bbc675657ba8cb30d96bc3d4575967bd66d69f032
docfiles size=7
RELOC/doc/latex/colorist/DEPENDS.txt
RELOC/doc/latex/colorist/LICENSE
@@ -144700,7 +144702,7 @@ catalogue-version 1.1.2
name hopatch
category Package
-revision 56106
+revision 65491
shortdesc Load patches for packages
relocated 1
longdesc Hopatch provides a command with which the user may register of
@@ -144709,14 +144711,14 @@ longdesc patch immediately, if the relevant package has already been
longdesc loaded; otherwise it will store the patch until the package
longdesc appears.
containersize 2184
-containerchecksum 1658c78cf7671e821ed38825f8b0a0dd96b268c80afb0e64b27129c08e6c9375a7c8e3e5019361e100cb11691a0d27fe533aa2d000306a38b752114a0eac4d12
-doccontainersize 303776
-doccontainerchecksum 57441e01ba72ed0fe8439da5b41dd7600ae43eab90e06150e58704c9fac5a0047c6ab3f7d581310972b973006d9a98ee52bf782f0f2fca151c59050e5bc402f3
-docfiles size=76
+containerchecksum 6c0f9549ce0321d9080cd0dfd3062eab47722bedac79293a14019c25edfdca7afd0cd6bd3b7be67a99a93ea0b347ac798a7b24909886d300e7085ca67d1a5c42
+doccontainersize 319716
+doccontainerchecksum 4fbf84371053bd67fb3d4b370bc335013cb62042cf9c13d2fc1c63a582a56885a93f73a44aff8986b4c657f7d172a1bd75cbde556633647a1abafb72746f9150
+docfiles size=82
RELOC/doc/latex/hopatch/README.md
RELOC/doc/latex/hopatch/hopatch.pdf details="Package documentation"
-srccontainersize 6008
-srccontainerchecksum 30537bb32dc82ccba9df85129db856884e2a948cee2cbe500a6208a5c3481b8f55253d86ed744d939e149c784e5aa6d8f843434629dc39a291762df863ad959d
+srccontainersize 6076
+srccontainerchecksum bd32091e28973236d4de3255642677966c4c856da4d53ab811780536e3c564956ec8299d75f553790f2208ce2ccf9356fead39a5f501f53e91d108782bc3bcb2
srcfiles size=6
RELOC/source/latex/hopatch/hopatch.dtx
runfiles size=3
@@ -144726,7 +144728,7 @@ catalogue-contact-bugs https://github.com/ho-tex/hopatch/issues
catalogue-ctan /macros/latex/contrib/hopatch
catalogue-license lppl1.3
catalogue-topics macro-supp
-catalogue-version 1.4
+catalogue-version 1.5
name horoscop
category Package
@@ -176740,17 +176742,17 @@ catalogue-topics version-control doc-mgmt
name latexindent
category Package
-revision 65427
+revision 65494
shortdesc Indent a LaTeX document, highlighting the programming structure
longdesc The Perl script processes a LaTeX file, indenting parts so as
longdesc to highlight the structure for the reader. Included are also
longdesc binary (executable) files for Windows, Ubuntu Linux, and macOS.
depend latexindent.ARCH
-containersize 72456
-containerchecksum b3c27833b2a8db523dbda2dd70d503d8e0b8604cc332c1f247aa76c47efbd6d3bc8c7f9de26810acee98676eea8fde5b3b8b20e3d3c7b078a9fd915437183b49
-doccontainersize 1316304
-doccontainerchecksum 954283d87cfc9d761da17683625af749e29582b30bfbae9fa24b471e7056a62268c171ffa427c6b2f249510309ffb48bcab338489dd4d6a85962f849a7cd3500
-docfiles size=442
+containersize 72488
+containerchecksum 5f56b685f29fddcc0a2d5db3ada2a60992a2066ab928b87d0070ec5cca03015adfa2effb0e1f936e5d332e61c9b7262a8c8c456f1ab189a57c0f0da9f739ab62
+doccontainersize 1317364
+doccontainerchecksum 2d59293a576ba13cc4f954f72289f7ce6868df30b816bff10a37ec1f842af8944965af7ecb9931b510d30b420cb5af2d6cda4e5ce69dd1088a4da9b0d0037561
+docfiles size=443
texmf-dist/doc/support/latexindent/README details="Readme"
texmf-dist/doc/support/latexindent/contributors.bib
texmf-dist/doc/support/latexindent/figure-schematic.png
@@ -176809,7 +176811,7 @@ catalogue-contact-repository https://github.com/cmhughes/latexindent.pl
catalogue-ctan /support/latexindent
catalogue-license gpl3
catalogue-topics code-layout
-catalogue-version 3.20
+catalogue-version 3.20.1
name latexindent.aarch64-linux
category Package
@@ -176903,10 +176905,10 @@ binfiles arch=universal-darwin size=1
name latexindent.win32
category Package
-revision 65427
+revision 65494
shortdesc win32 files of latexindent
-containersize 3545936
-containerchecksum 8ad6658cd896b7e6429124f5a1bf24b142f66534d13e42b091a987ec402d64635d267ecdb748b10774ccc481b945eab8176684baa97597041e55606c3a2b238a
+containersize 3545616
+containerchecksum c3485fe9fcf9fca97b3537cc9c7717b4c77a988685d80bb86a14da61d0108b22372a9a8e93586e3217383f890eb433400756578f56ff16bb09b890a08c26bde6
binfiles arch=win32 size=2125
bin/win32/latexindent.exe
@@ -209607,7 +209609,7 @@ catalogue-version 1.8f
name mismath
category Package
-revision 65485
+revision 65495
shortdesc Miscellaneous mathematical macros
relocated 1
longdesc The package provides some mathematical macros to typeset:
@@ -209617,15 +209619,15 @@ longdesc and adjusted norm, some standard operator names, improved
longdesc spacings in mathematical formulas, systems of equations and
longdesc small matrices, displaymath in double columns for long
longdesc calculations.
-containersize 3116
-containerchecksum ee36637dbad82bd4fa96adfbf1e978d6078d16ceb0049b30bc97f89f9ff99ffe3aa8ee9c963eb89bc2bc718bf80f84c4141a656c52b5b5780ec3fa8e3a8228cf
-doccontainersize 226332
-doccontainerchecksum 1274087a904a65e59bbd4b3ae8529f60479d3751444e4e22cc46db569c82ae7f020fcbb686a34e3cc930a2377643b5ae7bef9e076c31c10f3218c6cacf7cd0d5
-docfiles size=64
+containersize 3132
+containerchecksum 1daa1807e23ad0f4a78f2de3ecfcf2df276090fddc0ef2bf2df2ed4c5fb732c8df33b53b697969ecdd5b4bb1e020e329440fedf35f70ad062601150ef6f073a3
+doccontainersize 226604
+doccontainerchecksum e313a64f3cecfac33428b01f76f2aff7fdedd1c5814be5f9e9ef0186c056674defa6de49ec464dae1667a64c3e17022f17ce73bb19dad9a03054966c659fd688
+docfiles size=65
RELOC/doc/latex/mismath/README.md details="Readme"
RELOC/doc/latex/mismath/mismath.pdf details="Package documentation"
-srccontainersize 16784
-srccontainerchecksum aa67dcc83ddc6c8b43b9271b8eab6fd568ac26b9c2391518aceeeba1a980e249d3368b2fcd91fcdf9eaeb1e9fd0e6562265ba59963953969ee31d9802475d13a
+srccontainersize 16952
+srccontainerchecksum 8c5a345a7a0262450c430c07161afb9c54b916828501dcc1e7646089016ec43d1805a01313ba95ae4edcee0d697e2fad0ca5405dcfe9bfa67babcbbd02e5fdfa
srcfiles size=14
RELOC/source/latex/mismath/mismath.dtx
RELOC/source/latex/mismath/mismath.ins
@@ -225521,7 +225523,7 @@ catalogue-topics font-sel
name nicefilelist
category Package
-revision 65235
+revision 65492
shortdesc Provide \listfiles alignment
relocated 1
longdesc The package extends longnamefilelist, keeping separate columns
@@ -225529,29 +225531,31 @@ longdesc for date, version and "caption" (the caption now separately
longdesc listed). Alignment is not disturbed by short file name
longdesc extensions, such as ".fd". The package is not compatible with
longdesc longnamefilelist: users need to re-read the documentation.
-containersize 6392
-containerchecksum 0ec87c8804a36197bf01fe34124951e4a164943b42faca849031625594b00de570cab6b06c732211f2e9d65e3c26b3ef74125181d1a90fa14b02da2c5c45518a
-doccontainersize 600708
-doccontainerchecksum ba316d6d61521915b24b8b7e2234adfee417302fede3226343f35189d2010b8ea913a0d65eb776aa5a1382f6003d00cb1a0e7139772e4591e29aa4ad9d1dd117
-docfiles size=150
+containersize 8344
+containerchecksum 3080d4cd854e5ddc9edd7dd7a165ad8168f23020837428300bcce51f0fc966b4085fca4f2a5633411fbc6dcd9d5eb3eb917c76f452a22fe77b5ebb4f9280f6b6
+doccontainersize 605828
+doccontainerchecksum b63b1adb56d6fe51b71a3d1044c67980e1d7fd724b928a2737a8d18306cf0848029dc8b9927736695a827c271abc329fd15659ffad909c3ae647a9b4fa38ebb5
+docfiles size=151
RELOC/doc/latex/nicefilelist/README details="Readme"
RELOC/doc/latex/nicefilelist/SrcFILEs.txt
RELOC/doc/latex/nicefilelist/nicefilelist.RLS
RELOC/doc/latex/nicefilelist/nicefilelist.pdf details="Package documentation"
-srccontainersize 7364
-srccontainerchecksum 19b55d17758a459a6994b5d94c3994966a6cdde35272de322b0747aeba252e667fb64a2fabab8e0ecd5ee6c2eba6fed8594f7f00144240cec15a1b7b450570ba
-srcfiles size=8
+srccontainersize 7880
+srccontainerchecksum 98b3fd2d996ddade192a83593ed73f91635a5a947193d5dda302c78595d2a1ddcfff375bc35fb1128064572288b98028e030b6073d46c5729bf6d890154243eb
+srcfiles size=10
+ RELOC/source/latex/nicefilelist/SrcFILEs.txt
RELOC/source/latex/nicefilelist/empty.f
+ RELOC/source/latex/nicefilelist/nicefilelist.RLS
RELOC/source/latex/nicefilelist/nicefilelist.tex
RELOC/source/latex/nicefilelist/provonly.fd
RELOC/source/latex/nicefilelist/srcfiles.tex
RELOC/source/latex/nicefilelist/wrong.prv
-runfiles size=5
+runfiles size=7
RELOC/tex/latex/nicefilelist/nicefilelist.sty
catalogue-ctan /macros/latex/contrib/nicefilelist
catalogue-license lppl1.3c
catalogue-topics doc-mgmt
-catalogue-version 0.8a
+catalogue-version 0.9a
name niceframe
category Package
@@ -280280,7 +280284,7 @@ catalogue-version 1.1
name scripture
category Package
-revision 64910
+revision 65493
shortdesc A LaTeX style for typesetting Bible quotations
relocated 1
longdesc The scripture package provides a set of macros for typesetting
@@ -280289,26 +280293,26 @@ longdesc seen in Bibles such as dropped text for chapter numbers,
longdesc superscripts for verse numbers, indented lines for poetry
longdesc sections, narrow sections and hanging paragraphs. A reference
longdesc for the quotation can optionally be added.
-containersize 7644
-containerchecksum 63bf6976615449cff705dae9d77ef767a99d08a6f676690cfaf4a21bd56cb38776e25ea7f82c4906fb08a997b4a27634ff1fb31f59b29ff7981ab3d5bcd217e3
-doccontainersize 877660
-doccontainerchecksum 1e927b2e7e8edaad9956837a0bec49ccda18829a285740e480702e550639779204e59af5544c13dd01723762499ef4e5da281c99c30c15ac76a60248b88ec38f
-docfiles size=224
+containersize 8396
+containerchecksum 3def680960181d2204bb7c99012af17cb6685a8c9145d5242408b82e9f30a84e0b922dd89cd26c36c0a08e820b09c5ee886cb0ec928c83cd68d4221519d011d7
+doccontainersize 910824
+doccontainerchecksum f4b54666759f4fb691632ff501f9eef1619624ee5b8c8292be6cd1cfb5c9f02ed68cb55239c55da5e4f80e8334ec404347747427eea6622515a2933d4fe80d68
+docfiles size=235
RELOC/doc/latex/scripture/README.md details="Readme"
RELOC/doc/latex/scripture/scripture.pdf details="Package documentation"
-srccontainersize 20808
-srccontainerchecksum 3d2974776eb95249389d5879a17a1ee138b5809532f6062f2dd1aa5a183ded6d7c55be918bf89f00d428923c0082c4a4f1feb9ab600d3ff03755f3b162458bd8
-srcfiles size=36
+srccontainersize 23220
+srccontainerchecksum b74f83fcbf83baab55a37ca39165265ad94dcdcfe30db94b7684352648b55e0953464e9366a958517539c90b38bb468f3b2f187a557a8fd4a2d55bf6ea69bdd1
+srcfiles size=41
RELOC/source/latex/scripture/scripture.dtx
RELOC/source/latex/scripture/scripture.ins
-runfiles size=16
+runfiles size=18
RELOC/tex/latex/scripture/scripture.sty
catalogue-contact-bugs https://github.com/dcpurton/scripture/issues
catalogue-contact-repository https://github.com/dcpurton/scripture
catalogue-ctan /macros/latex/contrib/scripture
catalogue-license lppl1.3c
catalogue-topics theology
-catalogue-version 1.2
+catalogue-version 1.3
name scrjrnl
category Package
@@ -311746,7 +311750,7 @@ docfiles size=376
name texlive-scripts
category TLCore
-revision 65477
+revision 65487
shortdesc TeX Live infrastructure programs
longdesc Includes install-tl, tl-portable, rungs, etc.; not needed for
longdesc tlmgr to run but still ours. Not included in tlcritical.
@@ -311754,10 +311758,10 @@ depend texlive-scripts.ARCH
depend texlive.infra
execute addMap mathpple.map
postaction shortcut type=menu name="TeX Live command-line" cmd=TEXDIR/tlpkg/installer/tl-cmd.bat
-containersize 113688
-containerchecksum a721fcb35623a66d5004557506961af88c1f0ea275eb8ab5ed2011de19f372ecaefce183d2dc187d297985a5d6658da369c06a5dac0a651b6ad2a7d4a7d5568a
+containersize 113700
+containerchecksum 2ae73e1ad689471b062c6d08beba8de9051099381d9afbac51ec921180c49c0f3795138b6dd580f8d7c2c670bd3a069811b85153ce0615ff78251ac1c82c4a92
doccontainersize 423984
-doccontainerchecksum ec8db3a4dcfcef686e1e442366b8009b6dfe55813db2feb780308a869db0da748dd5d1658227abd9114b4e98414a863b15b1a664c51c4383d99de1c7229ab2ec
+doccontainerchecksum bc3d4a11c762114c4c2264714a6bdf8c35498351d9b1d665193cf642375b78d839a38c53e4b96b7636d6f86b00c333a51077b3bbaef8196bea54ba5594bbc79f
docfiles size=533
doc.html
texmf-dist/doc/man/man1/fmtutil-sys.1
@@ -321829,6 +321833,1586 @@ catalogue-ctan /info/examples/tlc2
catalogue-license lppl
catalogue-topics book-ex
+name tlc3-examples
+category Package
+revision 65496
+shortdesc All examples from "The LaTeX Companion", third edition
+relocated 1
+longdesc The PDFs (as used with spotcolor and trimming) and sources for
+longdesc all examples from the third edition (Parts I+II), together with
+longdesc necessary supporting files. The edition is published by
+longdesc Addison-Wesley, 2023, ISBN-13: 978-0-13-816648-9, ISBN-10:
+longdesc 0-13-816648-X (bundle of Part I & II).
+containersize 588
+containerchecksum 2bdb38f294d1737c73068fa9d768d9a8f96ae858d400f1f8b651c4c51427bdb0e4d623fb8b9b0c0ab2adfe8d55fe472ffa4a27e7064b51528f3eb03ace111a06
+doccontainersize 1878976
+doccontainerchecksum b5bbeccc60b9754e888a0ce457cb88f5c86a6b20c3cdc7850d28c85c409057391355551a97e49bc964521c3b4b498927b499e21bfdcaf15b8b8266c7316ebd11
+docfiles size=2032
+ RELOC/doc/latex/tlc3-examples/README.TEXLIVE
+ RELOC/doc/latex/tlc3-examples/README.md
+ RELOC/doc/latex/tlc3-examples/example-sources/1-3-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/1-3-2.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/1-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/1-3-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/1-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/1-3-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-1-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-1-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-10-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-10-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-10-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-10-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-10-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-10-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-11-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-12-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-12-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-12-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-13-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-2-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-2-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-2-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-2-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-2-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-5-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-5-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-8-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-8-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-9-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-9-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-9-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/10-9-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-30.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-31.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-32.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-33.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-34.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-35.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-36.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-37.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-38.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-39.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-40.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-2-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-3-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-30.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-31.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-32.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-33.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-34.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-35.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-36.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-37.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-38.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-39.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-40.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-41.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-42.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-4-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-5-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-6-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-6-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-6-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-6-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-7-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-8-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-8-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-8-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-8-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-8-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-8-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-8-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-8-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-8-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-8-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/11-8-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-1-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-10-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-11-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-12-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-13-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-14-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-15-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-16-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-17-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-18-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-19-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-2-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-2-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-2-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-2-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-2-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-2-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-2-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-20-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-21-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-22-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-23-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-24-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-25-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-26-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-27-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-28-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-29-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-30.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-31.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-32.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-33.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-34.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-35.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-36.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-37.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-38.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-39.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-40.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-3-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-30-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-31-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-32-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-33-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-34-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-35-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-36-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-37-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-38-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-39-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-4-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-4-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-4-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-4-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-4-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-40-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-41-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-42-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-43-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-44-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-45-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-46-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-47-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-48-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-49-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-5-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-50-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-51-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-52-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-6-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-7-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-8-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/12-9-fig.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-2-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-2-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-2-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-2-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-2-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-2-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-2-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-12.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-30.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-3-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-4-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-5-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-5-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-5-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/13-6-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-1-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-3-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-3-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-3-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-6-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-6-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-100.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-101.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-102.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-103.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-104.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-105.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-106.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-107.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-108.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-109.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-110.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-111.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-112.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-113.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-114.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-115.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-116.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-117.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-118.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-119.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-120.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-121.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-122.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-123.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-124.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-125.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-126.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-127.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-128.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-129.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-130.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-131.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-132.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-133.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-134.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-135.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-136.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-137.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-138.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-139.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-140.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-141.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-30.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-31.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-32.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-33.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-34.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-35.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-36.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-37.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-38.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-39.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-40.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-41.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-42.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-43.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-44.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-45.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-46.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-47.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-48.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-49.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-50.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-51.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-52.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-53.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-54.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-55.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-56.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-57.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-58.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-59.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-60.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-61.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-62.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-63.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-64.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-65.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-66.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-67.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-68.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-69.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-70.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-71.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-72.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-73.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-74.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-75.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-76.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-77.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-78.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-79.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-80.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-81.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-82.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-83.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-84.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-85.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-86.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-87.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-88.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-89.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-90.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-91.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-92.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-93.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-94.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-95.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-96.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-97.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-98.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/15-7-99.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-1-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-1-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-1-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-1-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-30.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-2-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-30.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-31.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-32.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-33.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-3-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-4-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-4-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-4-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-4-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-4-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-4-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-4-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-4-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-24.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-25.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-26.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-29.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-30.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-31.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-32.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-33.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-34.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-35.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-36.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-37.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-38.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-39.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-40.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-41.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-42.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-43.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-44.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-45.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-46.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-47.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-48.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-49.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-50.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-51.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-52.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-53.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-54.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-5-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-6-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-6-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-6-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-6-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-6-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-6-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-6-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-6-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-30.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-31.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-32.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-33.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-34.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-35.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-36.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-37.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-38.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-39.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-40.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-41.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-42.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-7-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-8-1.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/16-8-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-8-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-8-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-8-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-8-4.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/16-8-5.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/16-8-6.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/16-8-7.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/16-8-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/16-8-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/17-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/17-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-1-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-1-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-1-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-17.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-2-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-1.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-3-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-12.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-4.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-5.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/2-4-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-1-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-2-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-2-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-2-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-2-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-2-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-2-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-2-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-2-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-2-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-30.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-31.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-32.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-33.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-34.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-35.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-36.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-37.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-38.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-39.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-3-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-30.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-31.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-32.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-33.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-34.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-35.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-36.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-37.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-38.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-39.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-40.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-41.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-42.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-43.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-44.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-45.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-46.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-47.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-4-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-13.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-14.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-24.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-25.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-26.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-30.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-31.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-32.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-33.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-34.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-35.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-36.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-37.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-38.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-39.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-40.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-41.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-42.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-43.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-44.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-45.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-46.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-47.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-48.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-8.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/3-5-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-13.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/3-6-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-30.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-31.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-32.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-33.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-34.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-35.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-36.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-37.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-38.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-39.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-40.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-41.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-42.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-43.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-44.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-45.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-46.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-47.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-48.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-49.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-50.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-51.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-52.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-53.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-54.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-55.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-1-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-30.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-31.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-32.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-33.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-34.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-35.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-36.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-37.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-38.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-39.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-40.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-41.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-42.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-43.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-44.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-45.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-46.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-47.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-48.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-49.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-50.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-51.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-52.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-53.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-54.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-55.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-56.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-57.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-58.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-59.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-60.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-61.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-2-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-30.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-31.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-32.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-33.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-34.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-35.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-36.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-3-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-4-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-4-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/4-4-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-1-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-2-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-2-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-2-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-2-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-2-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-2-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-2-6.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-2-7.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-2-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-2-9.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-3-1.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-3-2.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-3-3.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-3-4.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-10.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-11.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-12.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-14.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-15.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-16.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-4.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-5.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-6.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-7.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-8.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-4-9.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-5-1.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-5-2.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-5-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-5-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-5-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/5-6-1.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-6-2.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-6-3.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-6-4.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-6-5.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-6-6.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-6-7.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-6-8.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/5-6-9.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/6-1-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-1-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-1-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-1-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-1-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-1-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-2-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-3-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-3-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-3-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-3-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-3-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-3-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-3-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-3-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-3-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-4-1.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/6-4-2.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/6-4-3.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/6-4-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-4-5.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/6-4-6.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/6-4-7.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/6-4-8.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/6-5-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-5-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-6-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-6-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-6-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-6-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-6-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-6-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-6-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-6-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-6-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-6-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-7-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-8-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-8-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-9-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-9-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-9-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-9-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-9-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-9-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-9-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-9-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/6-9-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-3-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-3-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-3-4.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/7-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-3-6.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/7-3-7.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/7-3-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-3-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-17.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-6.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-7.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-4-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-6.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-7.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-8.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/7-5-9.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-1-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-2-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-3-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-15.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-22.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-29.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-4-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/8-5-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-3-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-4-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-4-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-4-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-4-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-4-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-4-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-5-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-22.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-23.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-24.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-25.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-26.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-27.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-28.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-6-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-7-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-7-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/9-7-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-1-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-2-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-2-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-2-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-2-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-2-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-2-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-2-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-2-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-2-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-2-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-2-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-2-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-10.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-11.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-12.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-13.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-14.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-15.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-16.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-17.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-18.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-19.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-20.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-21.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-7.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-3-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-4-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-4-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-4-5.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/A-4-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-5-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-5-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-5-3.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-5-4.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-5-5.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-5-6.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-5-7.ltx2
+ RELOC/doc/latex/tlc3-examples/example-sources/A-5-8.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/A-5-9.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/B-4-1.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/B-4-2.ltx
+ RELOC/doc/latex/tlc3-examples/example-sources/Escher.pdf
+ RELOC/doc/latex/tlc3-examples/example-sources/I.pdf
+ RELOC/doc/latex/tlc3-examples/example-sources/cat.pdf
+ RELOC/doc/latex/tlc3-examples/example-sources/elephant.pdf
+ RELOC/doc/latex/tlc3-examples/example-sources/latex-logo.pdf
+ RELOC/doc/latex/tlc3-examples/example-sources/layout-tlc3-special.sty
+ RELOC/doc/latex/tlc3-examples/example-sources/locale.bib
+ RELOC/doc/latex/tlc3-examples/example-sources/longlife-grayscale.jpg
+ RELOC/doc/latex/tlc3-examples/example-sources/longlife.jpg
+ RELOC/doc/latex/tlc3-examples/example-sources/partial.toc
+ RELOC/doc/latex/tlc3-examples/example-sources/phaip.bst
+ RELOC/doc/latex/tlc3-examples/example-sources/rosette.pdf
+ RELOC/doc/latex/tlc3-examples/example-sources/showhyphenation-tlc3-spotcolor.lua
+ RELOC/doc/latex/tlc3-examples/example-sources/tlc-biblatex-special.bib
+ RELOC/doc/latex/tlc3-examples/example-sources/tlc-ex.bib
+ RELOC/doc/latex/tlc3-examples/example-sources/tlc-jura.bib
+ RELOC/doc/latex/tlc3-examples/example-sources/tlc-tex.bib
+ RELOC/doc/latex/tlc3-examples/example-sources/tlc.bib
+ RELOC/doc/latex/tlc3-examples/example-sources/tlc3exa.cls
+ RELOC/doc/latex/tlc3-examples/example-sources/tlc3examargin.cls
+ RELOC/doc/latex/tlc3-examples/example-sources/tlc3exareport.cls
+catalogue-contact-bugs https://github.com/FrankMittelbach/tlc3-examples/issues
+catalogue-contact-repository https://github.com/FrankMittelbach/tlc3-examples
+catalogue-ctan /info/examples/tlc3
+catalogue-license lppl1.3c
+catalogue-topics book-ex
+
name tlcockpit
category Package
revision 54857
diff --git a/systems/texlive/tlnet/tlpkg/texlive.tlpdb.md5 b/systems/texlive/tlnet/tlpkg/texlive.tlpdb.md5
index 60b07b471d..373356d559 100644
--- a/systems/texlive/tlnet/tlpkg/texlive.tlpdb.md5
+++ b/systems/texlive/tlnet/tlpkg/texlive.tlpdb.md5
@@ -1 +1 @@
-7186d5d588cccd4b904e02dfa97bd65d texlive.tlpdb
+7a0a5c09095a23f75c817ba871ea9ffc texlive.tlpdb
diff --git a/systems/texlive/tlnet/tlpkg/texlive.tlpdb.sha512 b/systems/texlive/tlnet/tlpkg/texlive.tlpdb.sha512
index e6480f360e..00d2c24737 100644
--- a/systems/texlive/tlnet/tlpkg/texlive.tlpdb.sha512
+++ b/systems/texlive/tlnet/tlpkg/texlive.tlpdb.sha512
@@ -1 +1 @@
-be73b7a6d6d394997373749a214d871e9d733c331cd718ff2760b6a3c439e97c622567349c71b0401a3e3f42746ca5588b9158670501f81c7b218007483554d1 texlive.tlpdb
+0345678f1b51ef4c3a36f8dbc24fb893d9143e981a70ab49eb5ebc78195f5b0b97cc84f75c0e47f466abb1ca6a6ea3b528ffa5b74566763d3d89e0a751e5bd35 texlive.tlpdb
diff --git a/systems/texlive/tlnet/tlpkg/texlive.tlpdb.sha512.asc b/systems/texlive/tlnet/tlpkg/texlive.tlpdb.sha512.asc
index 6935fbf5cc..7a7dbfc5dd 100644
--- a/systems/texlive/tlnet/tlpkg/texlive.tlpdb.sha512.asc
+++ b/systems/texlive/tlnet/tlpkg/texlive.tlpdb.sha512.asc
@@ -1,10 +1,10 @@
-----BEGIN PGP SIGNATURE-----
-iQEcBAEBCgAGBQJjuhRxAAoJEEzhh34ZQ4xwRq0IAK8IlL40rg0sHVvamMUWhDw4
-Dk0oEnOJwTJviSdv7msAVdJzpGmmTOCYdQcryFA0FqpWCEeXCBmqCScz2CUIS3u3
-yEGeiAvWlY/kVn/ntHmUjqTLedgOkOF3uycUYuA2JnLmshNM02g/my0DYnFIybPp
-z6/S52ZIpTviaX/0C9VGUYBbQFbsZlsmEnL2GOCxxA8dMGqcA0Y6vfJEnN4f/yFD
-sdE9bpe5eqFfcio1pZZoX8YoVHzld/NAosQOlXE6SBz3b8GabbTFLNoVRJIUufVH
-Ng4QT8V6F6i0DlubJraJ+2ChQpV5u3/4dA60BkHsWQ5bHEoPt/iEuUm3ToNlRZs=
-=2kap
+iQEcBAEBCgAGBQJju2WoAAoJEEzhh34ZQ4xw0moH/ivACqPdVcjVv37zzPXAlJEQ
+Ny4NRuxiTclm5QD8nuHuzVu3kuFCLipL9sr3ix95lLRgpVWBScidItFfdjFyhQMX
+BQ8TjMPCfM7bqwM6QPI12hxEk6gdQ3TtMxAC6l9i8N9ghsy0J+gXRNFB1MOtBrMi
+3yZJJDBW6ANn80liic8MrLq5s2sgUERbv2lphrqG7PK5KRFrLo5elZ3bm+Isg+Be
+bZtci2EOIb8LTacE2z3Iy40/tk9GuvO9ojL9OVCOLOvB1pol7bt8Qu32b2u2s64L
+6EN3uQHfVVusN1tMgjfXaZ0pZ4qhw72rgjKs3vzIw5rhHnMYneBCdERur936vWY=
+=dbh+
-----END PGP SIGNATURE-----
diff --git a/systems/texlive/tlnet/tlpkg/texlive.tlpdb.xz b/systems/texlive/tlnet/tlpkg/texlive.tlpdb.xz
index e23e86a5a4..d3fa27df26 100644
--- a/systems/texlive/tlnet/tlpkg/texlive.tlpdb.xz
+++ b/systems/texlive/tlnet/tlpkg/texlive.tlpdb.xz
Binary files differ