diff --git a/src/shrdlu/setup.64 b/src/shrdlu/setup.65 similarity index 99% rename from src/shrdlu/setup.64 rename to src/shrdlu/setup.65 index 3768ea22..e03a6d96 100644 --- a/src/shrdlu/setup.64 +++ b/src/shrdlu/setup.65 @@ -191,7 +191,8 @@ T) (SETQ *RSET NIL) (IOC C) - (SETQ SH-PRINT-TIME T)) + ;(SETQ SH-PRINT-TIME T) + ) (DEFUN DEBUGMODE NIL (QUIETMODE) @@ -285,6 +286,7 @@ (SHRDLU)) (DEBUGMODE) +;(USERMODE) (setq sh-standard-printout nil smnbreak nil smntrace nil makintern t annoyance t)