diff options
author | Karl Berry <karl@freefriends.org> | 2020-05-27 22:25:40 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-05-27 22:25:40 +0000 |
commit | 5a13a01bff495aa047e3f21c0067033ed3911262 (patch) | |
tree | c24adfa526a8ee26c4913d22178be7178a816c44 /Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf | |
parent | 523dbb041cdaf3c65291f34045471b4e27110080 (diff) |
many entity fixes (tex4ht r698), plus new url/copyright for all
git-svn-id: svn://tug.org/texlive/trunk@55306 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf')
-rw-r--r-- | Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf b/Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf index 7fd2c74c0ec..290cbc117ed 100644 --- a/Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf +++ b/Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf @@ -1,6 +1,6 @@ pltex 0 127 '⋅' '' 0 % -'↓' '' downarrow 1 % pltex.htf (unicode) 2019-08-20-14:31 % +'↓' '' downarrow 1 % pltex.htf (unicode) 2020-05-27-14:14 % 'α' '' alpha 2 % Copyright 2004-2009 Eitan M. Gurari % 'β' '' beta 3 % '∧' '' 4 % This work may be distributed and/or modified under the conditions @@ -16,7 +16,7 @@ pltex 0 127 '∞' '' infinity 14 % version identification would be appreciated. '∂' '' partial 15 % '⊂' '' subset 16 % tex4ht@tug.org -'⊃' '' supset 17 % http://www.tug.org/tex4ht +'⊃' '' supset 17 % https://tug.org/tex4ht '∩' '' 18 % '∪' '' 19 '∀' '' forall 20 |