log

age author description
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.