24 Sep
1998
24 Sep
'98
9:58 a.m.
I added a couple of new commands to pl2texi:
@sp{N} -- Inserts N blank lines (useful to force vertical spacing).
@key{Key} -- Used to document key sequences (@key{SPC} appears in a little box that looks like a keyboard key).
Man
--
-----------------------------------------------------------------------------
herme(a)fi.upm.es | Manuel Hermenegildo
herme(a)cs.utexas.edu | Facultad de Informatica
+34-91-336-7435 (Work) | Universidad Politecnica de Madrid
+34-91-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID
http://www.clip.dia.fi.upm.es/~herme | SPAIN
-----------------------------------------------------------------------------