log

age author description
Mon, 31 Jan 2000 20:11:54 +0000 Gerd Moellmann Update copyright.
Mon, 31 Jan 2000 20:09:04 +0000 Gerd Moellmann (USAGE): Use term `display options' instead of `X
Mon, 31 Jan 2000 19:47:38 +0000 Gerd Moellmann (jit-lock-function): Widen before calculating end