Wed, 12 Oct 1994 11:09:11 +0100 | wenzelm | fixed infix names in print_translations; | changeset | files |
Wed, 12 Oct 1994 09:48:32 +0100 | lcp | Pure/tctical/suppress_tracing: new; can now switch tracing off until the | changeset | files |
Wed, 12 Oct 1994 09:42:32 +0100 | lcp | Minor reference updates | changeset | files |