There's also a definition of a discipline \logic which should handle backwards-compatibility problems. However, *all* the examples in the LRM should be updated to use ddiscrete. -Geoffrey David Miller wrote: > So the existing models that declare things as logic - what is the impact > on them? > We don't need to change them all to ddiscrete do we? > > Dave -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Aug 20 10:07:52 2007
This archive was generated by hypermail 2.1.8 : Mon Aug 20 2007 - 10:07:55 PDT