Mon, 16 Jul 2001 12:23:00 +0000 |
Pavel Jank |
Some fixes to follow coding conventions.
|
Mon, 29 Jan 2001 17:38:03 +0000 |
Dave Love |
(elide-head): Make overlay evaporate.
|
Wed, 02 Feb 2000 14:27:03 +0000 |
Dave Love |
(elide-head): Use point-marker more.
|
Mon, 10 Jan 2000 16:26:35 +0000 |
Dave Love |
(elide-head): Use point-marker, not point.
|
Tue, 04 Jan 2000 00:09:35 +0000 |
Dave Love |
(elide-head): Add :version.
|
Thu, 16 Dec 1999 19:16:19 +0000 |
Dave Love |
Comment.
|
Sat, 04 Dec 1999 13:25:08 +0000 |
Dave Love |
Fix commentary.
|