log

age author description
Tue, 05 Dec 2000 19:18:23 +0000 Dave Love *** empty log message ***
Tue, 05 Dec 2000 19:18:06 +0000 Dave Love Fix header and customization.
Tue, 05 Dec 2000 19:12:22 +0000 Dave Love *** empty log message ***
Tue, 05 Dec 2000 17:03:51 +0000 Gerd Moellmann *** empty log message ***
Tue, 05 Dec 2000 17:03:29 +0000 Gerd Moellmann (record_char): Don't record identical help-echo
Tue, 05 Dec 2000 17:02:50 +0000 Dave Love *** empty log message ***
Tue, 05 Dec 2000 17:02:35 +0000 Dave Love (TAGS, info): Avoid tab-prefixed comments in rules.
Tue, 05 Dec 2000 16:47:31 +0000 Gerd Moellmann *** empty log message ***
Tue, 05 Dec 2000 16:47:04 +0000 Gerd Moellmann Close the display.
Tue, 05 Dec 2000 14:42:26 +0000 Gerd Moellmann *** empty log message ***
Tue, 05 Dec 2000 14:41:58 +0000 Gerd Moellmann (reftex-toc-menu): Fix typo.
Tue, 05 Dec 2000 14:32:18 +0000 Gerd Moellmann (x_destroy_window): Reset the frame's X window after