754
Comment:
|
764
|
Deletions are marked like this. | Additions are marked like this. |
Line 3: | Line 3: |
=== System Track === <<BR>> ||<tablewidth="20%">'''System Name''' ||'''Web Site''' || ||[[Participants/Cmodels|Cmodels]]|| || ||[[Participants/IDP|IDP]] || || ||[[Participants/clasp(folio)(d)-Potassco|Clasp(folio)(d)-Potassco]]||[[http://potassco.sourceforge.net/|URL]] || ||[[Participants/SUP|SUP]]|| || ||Smodels ||[[http://www.tcs.hut.fi/Software/smodels/|URL]] || |
|
Line 5: | Line 15: |
||<tablewidth="20%">'''System Name''' ||'''URL''' || | ||<tablewidth="20%">'''System Name''' ||'''Web Site''' || |
Line 12: | Line 22: |
=== System Track === <<BR>> ||<tablewidth="20%">'''System Name''' ||'''URL''' || ||[[Participants/Cmodels|Cmodels]]|| || ||[[Participants/IDP|IDP]] || || ||[[Participants/clasp(folio)(d)-Potassco|Clasp(folio)(d)-Potassco]]||[[http://potassco.sourceforge.net/|URL]] || ||[[Participants/SUP|SUP]]|| || ||Smodels ||[[http://www.tcs.hut.fi/Software/smodels/|URL]] || |