Checkpoint.

2004-05-16 08:07:42 +00:00 · 2004-05-16 08:07:42 +00:00 · 7bda1456a8
commit 7bda1456a8
parent dfc67f9b6d
2 changed files with 4479 additions and 0 deletions
--- a/lib/grap.defines
+++ b/lib/grap.defines
@ -0,0 +1,13 @@
+# These definitions are right for the 202,
+# but might need fiddling elsewhere
+
+define	bullet	% "\s-5\(bu\s0" %
+define	plus	% "\s-3\(pl\s0" %
+define	box	% "\s-4\(bx\s0" %
+define	star	% "\(**" %
+define	dot	% "\v'-.2m'\s+4.\s0\v'.2m'" %
+define	times	% "\s-3\(mu\s0" %
+define	htick	% "\-" %
+define	vtick	% "\(or" %
+define	square	% "\s-3\(sq\s0" %
+define	delta	% "\s-3\(*D\s0" %
--- a/lib/hyphen.tex
+++ b/lib/hyphen.tex