log

age author description
Mon, 30 Oct 2000 19:49:10 +0000 Dave Love Speling &c.
Mon, 30 Oct 2000 19:29:46 +0000 Dave Love Changes from Kai G.
Mon, 30 Oct 2000 19:10:33 +0000 Dave Love Fix 2000-10-27 change properly.
Mon, 30 Oct 2000 17:23:45 +0000 Dave Love *** empty log message ***
Mon, 30 Oct 2000 16:25:15 +0000 Gerd Moellmann *** empty log message ***
Mon, 30 Oct 2000 16:24:14 +0000 Gerd Moellmann (try_scrolling) <PT >= scroll_margin_pos>: Add 1 to the
Mon, 30 Oct 2000 15:43:27 +0000 Gerd Moellmann *** empty log message ***
Mon, 30 Oct 2000 15:43:05 +0000 Gerd Moellmann (safe_eval_handler): Call add_to_log.