User:Petelomax: Difference between revisions
Content added Content deleted
m (→Above and beyond: added Hexapawn) |
m (→Suggestions: added Untrusted_environment) |
||
| Line 44: | Line 44: | ||
Translate [[Proof#Go]]<br> |
Translate [[Proof#Go]]<br> |
||
Translate the arwen demo to pGUI for [[Canny_edge_detector#Phix]] |
Translate the arwen demo to pGUI for [[Canny_edge_detector#Phix]]<br> |
||
Add a --safe option for [[Untrusted_environment#Phix]] |
|||