summaryrefslogtreecommitdiff
path: root/Master/doc.html
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2024-12-19 00:41:44 +0000
committerKarl Berry <karl@freefriends.org>2024-12-19 00:41:44 +0000
commit2a770183b5edffad6e2836dba6e682061c2743d5 (patch)
tree6b5457406253c80c3748bc7548666e6a48899cb8 /Master/doc.html
parentcf0902cf4a7b515e6be9d1860923061b81d7e167 (diff)
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@73161 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/doc.html')
-rw-r--r--Master/doc.html4
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/doc.html b/Master/doc.html
index fad1b871930..b32dc2f192b 100644
--- a/Master/doc.html
+++ b/Master/doc.html
@@ -21491,7 +21491,7 @@ Macros for building proof trees.&nbsp;
<li id="principia"><b><a href="texmf-dist/doc/latex/principia/">principia</a></b><small>
(<a href="https://ctan.org/pkg/principia">CTAN</a>):
Notations for typesetting the "Principia Mathematica".&nbsp;
-<a href="texmf-dist/doc/latex/principia/List_of_Definitions.pdf">List_of_Definitions.pdf</a>
+<a href="texmf-dist/doc/latex/principia/List-of-Definitions.pdf">List-of-Definitions.pdf</a>
<a href="texmf-dist/doc/latex/principia/principia.pdf">principia.pdf</a>
</small></li>
@@ -30595,5 +30595,5 @@ Standard conforming typesetting of Japanese, for XeLaTeX.&nbsp;
<p><a href="#letter-1">1</a> - <a href="#letter-2">2</a> - <a href="#letter-A">A</a> - <a href="#letter-B">B</a> - <a href="#letter-C">C</a> - <a href="#letter-D">D</a> - <a href="#letter-E">E</a> - <a href="#letter-F">F</a> - <a href="#letter-G">G</a> - <a href="#letter-H">H</a> - <a href="#letter-I">I</a> - <a href="#letter-J">J</a> - <a href="#letter-K">K</a> - <a href="#letter-L">L</a> - <a href="#letter-M">M</a> - <a href="#letter-N">N</a> - <a href="#letter-O">O</a> - <a href="#letter-P">P</a> - <a href="#letter-Q">Q</a> - <a href="#letter-R">R</a> - <a href="#letter-S">S</a> - <a href="#letter-T">T</a> - <a href="#letter-U">U</a> - <a href="#letter-V">V</a> - <a href="#letter-W">W</a> - <a href="#letter-X">X</a> - <a href="#letter-Y">Y</a> - <a href="#letter-Z">Z</a></p>
<hr>
-<small>Generated Tue Dec 17 01:40:21 CET 2024 by tl-update-docindex.</small>
+<small>Generated Thu Dec 19 01:41:40 CET 2024 by tl-update-docindex.</small>
</body></html>