From: Lars Michael Kristensen To: designCPN@daimi.aau.dk Date: Thu, 12 Dec 1996 12:53:48 +0100 (MET) Subject: Design/CPN OE/OS Tool v1.0.1 released The Design/CPN Library supporting Occurrence Graphs with Equivalence Classes (OE/OS Tool) has been updated. The known bugs as described on the WWW pages for the OE/OS Tool, have been fixed. The new version of the OE/OS Tool is called 1.0.1 People who upgrade to version 3.0.4 of Design/CPN and is using the OE/OS tool also needs to upgrade to version 1.0.1 of the OE/OS Tool and vice versa. The OE/OS Tool is available for Sun Solaris and Linux PC. For further information about the OE/OS Tool see the WWW page: http://www.daimi.aau.dk/designCPN/libs/ogequiv/ Best to all of you, Jens Bæk Jørgensen (jbj@daimi.aau.dk) Lars M. Kristensen (kris@daimi.aau.dk) -- Lars Michael Kristensen Email: kris@daimi.aau.dk Department of Computer Science WWW URL: University of Aarhus Phone: +45 8942 3285 (office) 8000 Aarhus C, DENMARK Phone: +45 8628 0453 (at home) --- [[ Post messages and summary of replies: designCPN@daimi.aau.dk ]] [[ To (un)subscribe, send "help" to: Majordomo@daimi.aau.dk ]] [[ The moderator's address: designCPN-owner@daimi.aau.dk ]] [[ World Wide Web URL: http://www.daimi.aau.dk/designCPN/email/ ]]