* MORE.STUFF: Added gpresent.

* tmac/trace.tmac: Show nesting level by a corresponding amount of
whitespace before printing the logging message.

1 files changed, 16 insertions, 13 deletions

diff --git a/font/devutf8/NOTES b/font/devutf8/NOTES
index 52aeec04..af64ff49 100644
--- a/font/devutf8/NOTES
+++ b/font/devutf8/NOTES
@@ -4,7 +4,7 @@ They don't make sense for Unicode.
 The following from the original troff manual (by Ossanna and Kernighan) is
 unmapped:
 
-                \(bs    shaded solid ball (Bell System logo, AT&T logo)
+  \(bs    shaded solid ball (Bell System logo, AT&T logo)
 
 Character 0x002D has not been given a name because its Unicode name
 "HYPHEN-MINUS" is so ambiguous that it's unusable for serious typographic use.
@@ -18,8 +18,9 @@ The following, mentioned in the original troff manual, are only approximate:
 NamesList-3.0.0.txt, U+2118 "SCRIPT CAPITAL P" is really a Weierstrass p,
 neither SCRIPT not CAPITAL.
 
-The following lines could be added, to define names which are known to
-"devps" but are not documented and not known to "devdvi".
+The following line could be added; "space" is known to "devps" but are not
+documented and not known to "devdvi" (actually, there is no space glyph
+within the TeX system).
 
 space	24	0	0x0020
 
@@ -30,24 +31,26 @@ The following lines could be added, to define names which are known to e.g.
 >>	24	0	0x226B
 
 "devps" maps \(a~ and ~ to asciitilde, which is equivalent to 0x02DC, but
-this glyph is just too small. We map them to 0x007E instead.
+this glyph is just too small.  We map them to 0x007E instead.
 
 "devps" maps \(a^ and ^ to circumflex, which is equivalent to 0x02C6, but
-this glyph is just too small. We map them to 0x005E instead.
+this glyph is just too small.  We map them to 0x005E instead.
 
-"devps" maps *U to Upsilon1, which is equivalent to 0x03D2. We map it to
+"devps" maps *U to Upsilon1, which is equivalent to 0x03D2.  We map it to
 0x03A5 instead.
 
-"devps" maps *W to Omega, which is equivalent to either 0x2126 or 0x03A9. We
-map it to 0x03A9.
+"devps" maps *W to Omega, which is equivalent to either 0x2126 or 0x03A9.
+We map it to 0x03A9.
 
-"devps" maps *D to Delta, which is equivalent to either 0x2206 or 0x0394. We
-map it to 0x0394.
+"devps" maps *D to Delta, which is equivalent to either 0x2206 or 0x0394.
+We map it to 0x0394.
 
-"devps" maps CR to carriagereturn, which is equivalent to 0x21B5. We map it
-to 0x240D instead.
+"devps" maps CR to carriagereturn, which is equivalent to 0x21B5.  We map
+it to 0x240D instead.
 
-Using unnamed characters:
+
+Using unnamed characters
+------------------------
 
 Assume you want to use a Unicode character not provided in the list, say
 U+20AC. You need to do two things: