Article View: gnu.emacs.help
Article #189184m-*.h and s-*.h for sequent symmetry
From: Paul Barton-Davis
Date: Tue, 09 Apr 1991 19:35
Date: Tue, 09 Apr 1991 19:35
11 lines
1210 bytes
1210 bytes
The subject just about says it all: does anyone have the appropriate files for the sequent symmetry (not the balance series, which is covered by m-sequent.h), preferably for version 18.55 (18.57 would do in a pinch). thanks, -- Paul Barton-Davis <pauld@cs.washington.edu> UW Computer Science Lab ``to shatter tradition makes us feel free''
Technical Details
Message-ID:
<1991Apr9.193555.19598@beaver.cs.washington.edu>Path:
arc1-ca.pugleaf.net!gmdzi!unido!mcsun!uunet!tut.cis.ohio-state.edu!mercury.cair.du.edu!pikes!uakari.primate.wisc.edu!zaphod.mps.ohio-state.edu!uwm.edu!ogicse!zephyr.ens.tek.com!uw-beaver!cs.washington.edu!pauldShow Full Headers
Complete Article Headers
X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103b8b,ab2d37c9b91a9d64,start X-Google-Attributes: gid103b8b,public X-Google-ArrivalTime: 1991-04-09 17:59:19 PST Path: arc1-ca.pugleaf.net!gmdzi!unido!mcsun!uunet!tut.cis.ohio-state.edu!mercury.cair.du.edu!pikes!uakari.primate.wisc.edu!zaphod.mps.ohio-state.edu!uwm.edu!ogicse!zephyr.ens.tek.com!uw-beaver!cs.washington.edu!pauld From: pauld@cs.washington.edu (Paul Barton-Davis) Newsgroups: gnu.emacs.help Subject: m-*.h and s-*.h for sequent symmetry Message-ID: <1991Apr9.193555.19598@beaver.cs.washington.edu> Date: 9 Apr 91 19:35:55 GMT Sender: news@beaver.cs.washington.edu (USENET News System) Reply-To: pauld@cs.washington.edu (Paul Barton-Davis) Distribution: gnu Organization: Computer Science & Engineering, U. of Washington, Seattle Lines: 11 Originator: pauld@stowe.cs.washington.edu