Article View: comp.specification
Article #272OBJ for SUN workstations?
From: Bergner
Date: Thu, 15 Oct 1992 15:53
Date: Thu, 15 Oct 1992 15:53
6 lines
746 bytes
746 bytes
Does anybody know where to obtain a compiler for the executable specification language OBJ for SUN workstations (preferable via FTP)? Many thanks, Klaus Bergner
Technical Details
Message-ID:
<1992Oct15.155321.7440@Informatik.TU-Muenchen.DE>Path:
arc1-ca.pugleaf.net!sparky!uunet!kithrup!hoptoad!pacbell.com!iggy.GW.Vitalink.COM!cs.widener.edu!eff!sol.ctr.columbia.edu!ira.uka.de!math.fu-berlin.de!informatik.tu-muenchen.de!bergnerShow Full Headers
Complete Article Headers
Newsgroups: comp.specification Path: arc1-ca.pugleaf.net!sparky!uunet!kithrup!hoptoad!pacbell.com!iggy.GW.Vitalink.COM!cs.widener.edu!eff!sol.ctr.columbia.edu!ira.uka.de!math.fu-berlin.de!informatik.tu-muenchen.de!bergner From: bergner@Informatik.TU-Muenchen.DE (Bergner) Subject: OBJ for SUN workstations? Originator: bergner@sunbroy9.informatik.tu-muenchen.de Sender: news@Informatik.TU-Muenchen.DE (USENET Newssystem) Organization: Technische Universitaet Muenchen, Germany Date: Thu, 15 Oct 1992 15:53:21 GMT Message-ID: <1992Oct15.155321.7440@Informatik.TU-Muenchen.DE> Lines: 8