Differences

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

--- stats:proc:opensignup [2012/05/22 09:56] – Patrick Michel
+++ stats:proc:opensignup [2013/07/10 12:32] (current) – external edit 127.0.0.1
@@ Line 3: / Line 3: @@
 <code xcend>
 openSignUp(ident uid, ident id) {
-  assume exists //accounts/account[uid]/assistant[id];
+  assume exists /account[uid]/assistant[id];
-  assume exists //exercises/exercise[id];
+  assume exists /exercise[id];
-  assume not //exercises/exercise[id]/open;
+  assume not /exercise[id]/open;
-  update //exercises/exercise[id]/open true;
+  update /exercise[id]/open true;
 }
 </code>