diff options
author | Karl Berry <karl@freefriends.org> | 2024-12-19 00:41:44 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2024-12-19 00:41:44 +0000 |
commit | 2a770183b5edffad6e2836dba6e682061c2743d5 (patch) | |
tree | 6b5457406253c80c3748bc7548666e6a48899cb8 /Master/doc.html | |
parent | cf0902cf4a7b515e6be9d1860923061b81d7e167 (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.html | 4 |
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. <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". -<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. <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> |