Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
projects [2016/10/30 17:58] – sbsprojects [2016/10/30 18:55] (current) – sbs
Line 11: Line 11:
 <panel type="default" title="An Eclipse plug-in for SaC"> <panel type="default" title="An Eclipse plug-in for SaC">
 {{page>projects:eclipse&inline}} {{page>projects:eclipse&inline}}
 +</panel>
 +
 +<panel type="default" title="MT CUDA Integration">
 +{{page>projects:mtcuda&inline}}
 </panel> </panel>
  
Line 50: Line 54:
 <panel type="default" title="Introducing Controlled Forms of Non-Determinism -- Side-Effects within With-Loops"> <panel type="default" title="Introducing Controlled Forms of Non-Determinism -- Side-Effects within With-Loops">
 {{page>projects:nondeterminism&inline}} {{page>projects:nondeterminism&inline}}
-</panel> 
- 
-<panel type="default" title="MT CUDA Integration"> 
-{{page>projects:mtcuda&inline}} 
 </panel> </panel>