| Tue, 24 Aug 1999 11:43:30 +0200 | wenzelm | print_mode activated again; | file | diff | annotate |
| Thu, 19 Aug 1999 16:33:53 +0200 | wenzelm | disabled print_mode (tmp); | file | diff | annotate |
| Wed, 18 Aug 1999 20:41:16 +0200 | wenzelm | isa_action: don't lock pretend_used files; | file | diff | annotate |
| Tue, 17 Aug 1999 17:52:04 +0200 | wenzelm | Goals.reset_goals; | file | diff | annotate |