diff options
author | wlemb <wlemb> | 2003-01-07 14:33:59 +0000 |
---|---|---|
committer | wlemb <wlemb> | 2003-01-07 14:33:59 +0000 |
commit | 6a6692c458f9d417c14f1715a9f3d848ff26b27c (patch) | |
tree | 2932180af263b44522b29c77f13ee9bd612fb8fd /font/devdvi/generate | |
parent | d16dfe57b0fed9b9fa9409495410569e1469049d (diff) | |
download | groff-6a6692c458f9d417c14f1715a9f3d848ff26b27c.tar.gz |
`is' is now a text symbol (only relevant for dvi). The math variant
can be accessed with `integral'.
* font/devX*/S: Regenerated.
* font/devdvi/generate/texex.map: Remove `is'.
* font/devdvi/EX: Updated.
* font/devhtml/R.proto, font/devutf8/R.proto: Add `integral'.
* font/devlj4/generate/special.map: Ditto.
* font/devlj4/S: Regenerated.
* font/devps/generate/textmap: Add `integral'.
* font/devps/S: Regenerated.
* tmac/dvi.tmac: Define `is'.
* src/roff/troff/glyphuni.cc (glyph_to_unicode_list): Add `integral'.
* src/preproc/tbl/main.cc (process_format): Fix error message.
Diffstat (limited to 'font/devdvi/generate')
-rw-r--r-- | font/devdvi/generate/texex.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/font/devdvi/generate/texex.map b/font/devdvi/generate/texex.map index a5b26901..081d2cb8 100644 --- a/font/devdvi/generate/texex.map +++ b/font/devdvi/generate/texex.map @@ -74,7 +74,7 @@ 79 bigcirclemultiply 88 sum 89 product -90 is integral +90 integral 91 bigunion 92 bigintersection 93 bigunionplus |