Path: utzoo!utgpu!water!watmath!uunet!tut.cis.ohio-state.edu!mailrus!umix!oxtrap!rich
From: rich@oxtrap.UUCP (K. Richard Magill)
Newsgroups: gnu.emacs
Subject: Re: Sequent symmetry
Message-ID: <4755@oxtrap.UUCP>
Date: 20 Oct 88 21:17:44 GMT
References: <10303@eddie.MIT.EDU>
Reply-To: rich@oxtrap.UUCP (K. Richard Magill)
Organization: Oxford, Ann Arbor
Lines: 5

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.