| Tue, 09 Mar 1999 12:13:58 +0100 | wenzelm | fixed add_path reset; | file | diff | annotate |
| 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 |