Size: 772
Comment:
|
Size: 818
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 5: | Line 5: |
||<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]] || |
||<tablestyle="width: 307px; height: 228px;">'''System Name''' ||'''Team''' ||'''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 17: | Line 17: |
||<tablewidth="20%">'''System Name''' ||'''Web Site''' || | ||<tablewidth="20%">'''Team''' ||'''Web Site''' || |