From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Tue,  5 Sep 1995 12:52:08 -0400
From: Geoff Collyer geoffc@allegra.att.com
Subject: PC-clone hardware
Topicbox-Message-UUID: 230e7fba-eac8-11e9-9e20-41e7f4b1d025
Message-ID: <19950905165208.ZdJq7p6YFlur4J2VBYRGJDedo5WT0q_wN3_ZwVRNhSo@z>

cpu and fpu compatibility are worth paying attention to.  i used to have
a cyrix 486dx, which worked fine except that proof crashed when the cyrix
fpu generated an incorrect (and incompatible) result.  a genuine intel
486dx2 cured the problem.