jtc 9f19de9cde Remove lie (in a comment) about conversion between 80 bit ot 64 bit reals, ... since we set up the fpu to do all calculations in 64 bit mode at this time.		1994-08-26 00:20:34 +00:00
..
i387	Remove lie (in a comment) about conversion between 80 bit ot 64 bit reals,	1994-08-26 00:20:34 +00:00
mc68881	Use RCSID macro for RCS ID's.	1994-03-18 23:22:10 +00:00