3 commits

Author	SHA1	Message	Date
Mikael Djurfeldt	61529d8e6e	* * boot-9.scm: The debugging evaluator and recording of positions ... aren't enabled by default any longer (they are switched on in debug.scm). But during development we want to have them also * debug.scm: Enable debugging evaluator and recording of positions by default.	1996-11-02 20:51:37 +00:00
Mikael Djurfeldt	6d2388ee6c	* debug.scm (make-enable, make-disable): Simplified.	1996-10-14 03:28:35 +00:00
Mikael Djurfeldt	4fe4070a0e	* debug.scm: New file: debug extensions.	1996-08-23 04:54:35 +00:00