diff options
Diffstat (limited to 'systems/texlive/tlnet')
| -rw-r--r-- | systems/texlive/tlnet/tlpkg/installer/ctan-mirrors.pl | 2 | ||||
| -rw-r--r-- | systems/texlive/tlnet/tlpkg/texlive.tlpdb | 1724 | ||||
| -rw-r--r-- | systems/texlive/tlnet/tlpkg/texlive.tlpdb.md5 | 2 | ||||
| -rw-r--r-- | systems/texlive/tlnet/tlpkg/texlive.tlpdb.sha512 | 2 | ||||
| -rw-r--r-- | systems/texlive/tlnet/tlpkg/texlive.tlpdb.sha512.asc | 14 | ||||
| -rw-r--r-- | systems/texlive/tlnet/tlpkg/texlive.tlpdb.xz | bin | 2441916 -> 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 Binary files differindex e23e86a5a4..d3fa27df26 100644 --- a/systems/texlive/tlnet/tlpkg/texlive.tlpdb.xz +++ b/systems/texlive/tlnet/tlpkg/texlive.tlpdb.xz |