Thu, 11 Feb 1999 21:18:35 +0100 | wenzelm | Present.init; | file | diff | annotate |
Mon, 08 Feb 1999 17:32:06 +0100 | wenzelm | tuned msg; | file | diff | annotate |
Fri, 05 Feb 1999 20:58:17 +0100 | wenzelm | use_dir: check parent, more robust exit; | file | diff | annotate |
Thu, 04 Feb 1999 18:17:01 +0100 | wenzelm | Symbol.use (eliminated Use.exit_use); | file | diff | annotate |
Wed, 03 Feb 1999 17:28:40 +0100 | wenzelm | Session management -- maintain state of logic images. | file | diff | annotate |