[gnu.emacs] Sequent symmetry

eric@eddie.MIT.EDU (Eric Van Tassell) (10/20/88)

Does anybody have the m- and s- files for a sequent symmetry(386)

rich@oxtrap.UUCP (K. Richard Magill) (10/21/88)

In article <10303@eddie.MIT.EDU> eric@eddie.MIT.EDU (Eric Van Tassell) writes:
>Does anybody have the m- and s- files for a sequent symmetry(386)

Believe it or not, m-sequent worked for me a couple of weeks ago on a
3.0.12 symmetry.  I sent a patch to change the comment to FSF.