Thu, 02 Dec 1993 12:49:03 +0100 | lcp | removal of amssymbols.sty and lcp.sty; addition of iman.sty | changeset | files |
Wed, 01 Dec 1993 17:40:27 +0100 | lcp | ZF/ex/ROOT: changed many time_use calls to time_use_thy or else deleted | changeset | files |
Wed, 01 Dec 1993 13:00:04 +0100 | lcp | minor corrections | changeset | files |
Wed, 01 Dec 1993 12:48:47 +0100 | lcp | new references | changeset | files |
Wed, 01 Dec 1993 12:45:49 +0100 | lcp | now inspects FOLP_build_completed | changeset | files |
Wed, 01 Dec 1993 12:41:25 +0100 | lcp | now declares FOLP_build_completed | changeset | files |
Tue, 30 Nov 1993 15:31:07 +0100 | wenzelm | *** empty log message *** | changeset | files |