texlive[72578] Master: autoupdate

commits+karl at tug.org commits+karl at tug.org
Fri Oct 18 01:41:54 CEST 2024 

Revision: 72578
          https://tug.org/svn/texlive?view=revision&revision=72578
Author:   karl
Date:     2024-10-18 01:41:54 +0200 (Fri, 18 Oct 2024)
Log Message:
-----------
autoupdate

Modified Paths:
--------------
    trunk/Master/texmf-dist/ls-R
    trunk/Master/tlpkg/texlive.tlpdb

Modified: trunk/Master/texmf-dist/ls-R
===================================================================
--- trunk/Master/texmf-dist/ls-R	2024-10-17 23:40:21 UTC (rev 72577)
+++ trunk/Master/texmf-dist/ls-R	2024-10-17 23:41:54 UTC (rev 72578)
@@ -16521,6 +16521,7 @@
 srcltx
 srdp-mathematik
 sseq
+sshrc-insight
 sslides
 stackengine
 stage
@@ -16634,6 +16635,7 @@
 templates-fenn
 templates-sommer
 templatetools
+temporal-logic
 tengwarscript
 tensind
 tensor
@@ -44707,6 +44709,25 @@
 ./doc/latex/sseq:
 sseq.pdf
 
+./doc/latex/sshrc-insight:
+README.md
+budget_justification.tex
+career_interruptions.tex
+detailed_description.tex
+exclusion_of_potential_reviewers.tex
+expected_outcomes.tex
+insight_proposal.pdf
+insight_proposal.tex
+knowledge_mobilization_plan.tex
+list_of_references.tex
+multi-interdisciplinary_evaluation.tex
+previous_critiques.tex
+research-creation_support_material.tex
+research_contributions.tex
+research_team.tex
+sshrc-insight.pdf
+summary.tex
+
 ./doc/latex/sslides:
 land-sample-slide.pdf
 land-sample-slide.tex
@@ -45636,6 +45657,10 @@
 README
 templatetools.pdf
 
+./doc/latex/temporal-logic:
+README.md
+temporal-logic-doc.pdf
+
 ./doc/latex/tengwarscript:
 COPYING
 README
@@ -213439,6 +213464,7 @@
 sr-vorl
 srcltx
 sseq
+sshrc-insight
 stack
 stage
 standalone
@@ -213503,6 +213529,7 @@
 ted
 telprint
 templatetools
+temporal-logic
 tengwarscript
 tensor
 termcal
@@ -220570,6 +220597,10 @@
 sseq.dtx
 sseq.ins
 
+./source/latex/sshrc-insight:
+sshrc-insight.dtx
+sshrc-insight.ins
+
 ./source/latex/stack:
 stack.dtx
 stack.ins
@@ -220855,6 +220886,10 @@
 templatetools.dtx
 templatetools.ins
 
+./source/latex/temporal-logic:
+temporal-logic.dtx
+temporal-logic.ins
+
 ./source/latex/tengwarscript:
 tengwarscript.dtx
 tengwarscript.ins
@@ -236151,6 +236186,7 @@
 srcltx
 srdp-mathematik
 sseq
+sshrc-insight
 sslides
 stack
 stackengine
@@ -236273,6 +236309,7 @@
 telprint
 templatetools
 tempora
+temporal-logic
 tengwarscript
 tensind
 tensor
@@ -258981,6 +259018,9 @@
 ./tex/latex/sseq:
 sseq.sty
 
+./tex/latex/sshrc-insight:
+sshrc-insight.cls
+
 ./tex/latex/sslides:
 sslides.cls
 
@@ -259657,6 +259697,9 @@
 tempora.fontspec
 tempora.sty
 
+./tex/latex/temporal-logic:
+temporal-logic.sty
+
 ./tex/latex/tengwarscript:
 annatar.cfg
 annatarbold.cfg
@@ -266944,8 +266987,10 @@
 luaxml-parse-query.lua
 luaxml-pretty.lua
 luaxml-stack.lua
+luaxml-sty.lua
 luaxml-testxml.lua
 luaxml-transform.lua
+luaxml.sty
 
 ./tex/luatex/lutabulartools:
 lutabulartools.lua

Modified: trunk/Master/tlpkg/texlive.tlpdb
===================================================================
--- trunk/Master/tlpkg/texlive.tlpdb	2024-10-17 23:40:21 UTC (rev 72577)
+++ trunk/Master/tlpkg/texlive.tlpdb	2024-10-17 23:41:54 UTC (rev 72578)
@@ -26,11 +26,11 @@
 depend frozen/0
 depend minrelease/2016
 depend release/2024
-depend revision/72570
+depend revision/72577
 
 name 00texlive.image
 category TLCore
-revision 72555
+revision 72576
 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
@@ -4111,6 +4111,7 @@
  tlpkg/tlpsrc/srcredact.tlpsrc
  tlpkg/tlpsrc/srdp-mathematik.tlpsrc
  tlpkg/tlpsrc/sseq.tlpsrc
+ tlpkg/tlpsrc/sshrc-insight.tlpsrc
  tlpkg/tlpsrc/sslides.tlpsrc
  tlpkg/tlpsrc/stack.tlpsrc
  tlpkg/tlpsrc/stackengine.tlpsrc
@@ -4256,6 +4257,7 @@
  tlpkg/tlpsrc/templates-sommer.tlpsrc
  tlpkg/tlpsrc/templatetools.tlpsrc
  tlpkg/tlpsrc/tempora.tlpsrc
+ tlpkg/tlpsrc/temporal-logic.tlpsrc
  tlpkg/tlpsrc/tengwarscript.tlpsrc
  tlpkg/tlpsrc/tensind.tlpsrc
  tlpkg/tlpsrc/tensor.tlpsrc
@@ -4960,7 +4962,7 @@
 
 name 00texlive.installer
 category TLCore
-revision 72570
+revision 72577
 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
@@ -68871,7 +68873,7 @@
 
 name collection-mathscience
 category Collection
-revision 72547
+revision 72575
 shortdesc Mathematics, natural sciences, computer science packages
 depend 12many
 depend accents
@@ -69127,6 +69129,7 @@
 depend synproof
 depend t-angles
 depend tablor
+depend temporal-logic
 depend tensind
 depend tensor
 depend tex-ewd
@@ -69765,7 +69768,7 @@
 
 name collection-publishers
 category Collection
-revision 72464
+revision 72576
 shortdesc Publisher styles, theses, etc.
 depend aastex
 depend abnt
@@ -69984,6 +69987,7 @@
 depend spie
 depend sr-vorl
 depend srdp-mathematik
+depend sshrc-insight
 depend stellenbosch
 depend stellenbosch-2
 depend suftesi
@@ -99020,7 +99024,7 @@
 
 name easybook
 category Package
-revision 72537
+revision 72572
 shortdesc Easily typesetting Chinese theses or books
 longdesc easybook is a pure academic template created based on the
 longdesc ctexbook book document class. It also has the functions of book
@@ -99030,7 +99034,7 @@
 longdesc easily customize the thesis template. Its basic macro package
 longdesc easybase can also be used with CTeX and standard document
 longdesc classes.
-docfiles size=187
+docfiles size=188
  texmf-dist/doc/latex/easybook/README.md details="Readme"
  texmf-dist/doc/latex/easybook/easybook.pdf details="Package documentation" language="zh"
  texmf-dist/doc/latex/easybook/easybook.tex
@@ -99046,7 +99050,7 @@
 catalogue-ctan /macros/latex/contrib/easybook
 catalogue-license lppl1.3c
 catalogue-topics book-pub dissertation class doc-templ chinese expl3
-catalogue-version 2024en
+catalogue-version 2024eo
 
 name easydtx
 category Package
@@ -190418,17 +190422,17 @@
 
 name luaxml
 category Package
-revision 71803
+revision 72574
 shortdesc Lua library for reading and serialising XML files
 longdesc LuaXML is a pure Lua library for reading and serializing XML
 longdesc files. The current release is aimed mainly at support for the
 longdesc odsfile package. The documentation was created by automatic
 longdesc conversion of original documentation in the source code.
-docfiles size=41
+docfiles size=47
  texmf-dist/doc/luatex/luaxml/README details="Readme"
  texmf-dist/doc/luatex/luaxml/luaxml.pdf details="Package documentation"
  texmf-dist/doc/luatex/luaxml/luaxml.tex
-runfiles size=58
+runfiles size=61
  texmf-dist/tex/luatex/luaxml/luaxml-cssquery.lua
  texmf-dist/tex/luatex/luaxml/luaxml-domobject.lua
  texmf-dist/tex/luatex/luaxml/luaxml-encodings.lua
@@ -190440,13 +190444,15 @@
  texmf-dist/tex/luatex/luaxml/luaxml-parse-query.lua
  texmf-dist/tex/luatex/luaxml/luaxml-pretty.lua
  texmf-dist/tex/luatex/luaxml/luaxml-stack.lua
+ texmf-dist/tex/luatex/luaxml/luaxml-sty.lua
  texmf-dist/tex/luatex/luaxml/luaxml-testxml.lua
  texmf-dist/tex/luatex/luaxml/luaxml-transform.lua
+ texmf-dist/tex/luatex/luaxml/luaxml.sty
 catalogue-contact-repository https://github.com/michal-h21/LuaXML
 catalogue-ctan /macros/luatex/generic/luaxml
 catalogue-license other-free
 catalogue-topics foreign-import luatex use-lua
-catalogue-version 0.2
+catalogue-version 0.2a
 
 name lutabulartools
 category Package
@@ -248222,7 +248228,7 @@
 
 name profmaquette
 category Package
-revision 72312
+revision 72573
 shortdesc Use exercises in different types of documents
 longdesc This LaTeX package can help French maths teachers to put one
 longdesc and the same exercise into different sorts of documents.
@@ -248230,12 +248236,12 @@
  texmf-dist/doc/latex/profmaquette/README details="Readme"
  texmf-dist/doc/latex/profmaquette/profmaquette-doc.pdf details="Package documentation" language="fr"
  texmf-dist/doc/latex/profmaquette/profmaquette-doc.zip
-runfiles size=42
+runfiles size=54
  texmf-dist/tex/latex/profmaquette/ProfMaquette.sty
 catalogue-ctan /macros/latex/contrib/profmaquette
 catalogue-license lppl1.3c
 catalogue-topics teaching exercise maths
-catalogue-version 0.99
+catalogue-version 0.99-g
 
 name profsio
 category Package
@@ -281169,6 +281175,55 @@
 catalogue-topics maths
 catalogue-version 2.01
 
+name sshrc-insight
+category Package
+revision 72576
+shortdesc A LaTeX class for SSHRC Insight Grant proposals
+longdesc The sshrc-insight LaTeX class facilitates the preparation of
+longdesc funding proposals for the Insight Grants program of Canada's
+longdesc Social Sciences and Humanities Research Council (SSHRC). It has
+longdesc the following key features: Formats the proposal according to
+longdesc the SSHRC's specifications. Allows parts of the proposal to be
+longdesc compiled into separate PDFs to attach to the appropriate places
+longdesc in the online application form. Alternatively, allows the
+longdesc proposal to be compiled into a single PDF in order to
+longdesc facilitate the writing and pre-submission reviewing process.
+longdesc Ensures that citation numbering remains consistent regardless
+longdesc whether the proposal is compiled as separate PDFs or a single
+longdesc PDF. Provides character counts for long-answer form fields.
+longdesc Supports preparation of proposals in either English or French.
+longdesc Compatible with pdfLaTeX, XeLaTeX, and LuaLaTeX.
+docfiles size=132
+ texmf-dist/doc/latex/sshrc-insight/README.md details="Readme"
+ texmf-dist/doc/latex/sshrc-insight/budget_justification.tex
+ texmf-dist/doc/latex/sshrc-insight/career_interruptions.tex
+ texmf-dist/doc/latex/sshrc-insight/detailed_description.tex
+ texmf-dist/doc/latex/sshrc-insight/exclusion_of_potential_reviewers.tex
+ texmf-dist/doc/latex/sshrc-insight/expected_outcomes.tex
+ texmf-dist/doc/latex/sshrc-insight/insight_proposal.pdf details="Example of use"
+ texmf-dist/doc/latex/sshrc-insight/insight_proposal.tex
+ texmf-dist/doc/latex/sshrc-insight/knowledge_mobilization_plan.tex
+ texmf-dist/doc/latex/sshrc-insight/list_of_references.tex
+ texmf-dist/doc/latex/sshrc-insight/multi-interdisciplinary_evaluation.tex
+ texmf-dist/doc/latex/sshrc-insight/previous_critiques.tex
+ texmf-dist/doc/latex/sshrc-insight/research-creation_support_material.tex
+ texmf-dist/doc/latex/sshrc-insight/research_contributions.tex
+ texmf-dist/doc/latex/sshrc-insight/research_team.tex
+ texmf-dist/doc/latex/sshrc-insight/sshrc-insight.pdf details="Package documentation"
+ texmf-dist/doc/latex/sshrc-insight/summary.tex
+srcfiles size=10
+ texmf-dist/source/latex/sshrc-insight/sshrc-insight.dtx
+ texmf-dist/source/latex/sshrc-insight/sshrc-insight.ins
+runfiles size=2
+ texmf-dist/tex/latex/sshrc-insight/sshrc-insight.cls
+catalogue-contact-bugs https://github.com/logological/sshrc-insight/issues
+catalogue-contact-home https://logological.org/sshrc-insight
+catalogue-contact-repository https://github.com/logological/sshrc-insight
+catalogue-ctan /macros/latex/contrib/sshrc-insight
+catalogue-license lppl1.3c
+catalogue-topics class proposal
+catalogue-version 2024.0.1
+
 name sslides
 category Package
 revision 32293
@@ -287398,6 +287453,32 @@
 catalogue-topics font font-cyrillic font-greek font-otf font-type1 font-serif
 catalogue-version 1.05
 
+name temporal-logic
+category Package
+revision 72575
+shortdesc Symbols for Temporal Logics
+longdesc This package defines functions for rendering temporal operators
+longdesc defined in Linear Temporal Logic (LTL), Metric Temporal Logic
+longdesc (MTL), Metric First-order Temporal Logic (MFOTL), and the
+longdesc Counting Metric First-order Temporal Binding Logic (CMFTBL).
+longdesc The package defines various functions with variants in order to
+longdesc include or omit optional parameters of the operators like the
+longdesc optional interval.
+docfiles size=133
+ texmf-dist/doc/latex/temporal-logic/README.md details="Readme"
+ texmf-dist/doc/latex/temporal-logic/temporal-logic-doc.pdf details="Package documentation"
+srcfiles size=6
+ texmf-dist/source/latex/temporal-logic/temporal-logic.dtx
+ texmf-dist/source/latex/temporal-logic/temporal-logic.ins
+runfiles size=2
+ texmf-dist/tex/latex/temporal-logic/temporal-logic.sty
+catalogue-contact-bugs https://github.com/tudo-aqua/temporal-logic-latex-package/issues
+catalogue-contact-repository https://github.com/tudo-aqua/temporal-logic-latex-package/
+catalogue-ctan /macros/latex/contrib/temporal-logic
+catalogue-license lppl1.3c
+catalogue-topics logic text-symbol symbol-supp expl3
+catalogue-version 1.0
+
 name tengwarscript
 category Package
 revision 34594
@@ -301949,7 +302030,7 @@
 
 name texlive-scripts
 category TLCore
-revision 72570
+revision 72577
 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.

More information about the tex-live-commits mailing list.