| Tue, 18 Jan 1994 15:57:40 +0100 | lcp | Many other files modified as follows: | file | diff | annotate |
| Thu, 21 Oct 1993 17:20:01 +0100 | lcp | Pure/drule/print_goals_ref: new, for Centaur interface | file | diff | annotate |
| Wed, 06 Oct 1993 10:33:33 +0100 | lcp | tctical/dummy_quant_rl: specifies type prop to avoid the type variable | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |