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 16:58]
sbs
projects [2016/10/30 17: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>​