| 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 |
| Mon, 16 Aug 1999 15:15:14 +0200 | wenzelm | tuned prompts; | file | diff | annotate |
| Fri, 06 Aug 1999 22:43:51 +0200 | wenzelm | made SML happy; | file | diff | annotate |
| Fri, 06 Aug 1999 22:34:00 +0200 | wenzelm | proper ProofGeneral/isa setup; | file | diff | annotate |