http://cvc4.stanford.edu/w/index.php?action=history&feed=atom&title=User_Registration 2026-04-05T18:10:49Z Revision history for this page on the wiki MediaWiki 1.26.4 http://cvc4.stanford.edu/w/index.php?title=User_Registration&diff=5554&oldid=prev 2017-06-07T20:44:26Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 20:44, 7 June 2017</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>To register as a new user, please contact a member of the <del class="diffchange diffchange-inline">NYU </del>team, especially:</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>To register as a new user, please contact a member of the <ins class="diffchange diffchange-inline">Stanford </ins>team, especially:</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [http://<del class="diffchange diffchange-inline">www</del>.<del class="diffchange diffchange-inline">cs.nyu.edu/~mdeters/ Morgan Deters]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [http://<ins class="diffchange diffchange-inline">theory</ins>.<ins class="diffchange diffchange-inline">stanford</ins>.edu/~<ins class="diffchange diffchange-inline">barrett</ins>/ <ins class="diffchange diffchange-inline">Clark Barrett</ins>]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">* [http://www.cs.nyu</del>.edu/~<del class="diffchange diffchange-inline">dejan</del>/ <del class="diffchange diffchange-inline">Dejan Jovanovic</del>]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> </table>

Tinelli http://cvc4.stanford.edu/w/index.php?title=User_Registration&diff=314&oldid=prev 2009-10-01T13:53:57Z

<p>New page: To register as a new user, please contact a member of the NYU team, especially: * [http://www.cs.nyu.edu/~mdeters/ Morgan Deters] * [http://www.cs.nyu.edu/~dejan/ Dejan Jovanovic]</p> <p><b>New page</b></p><div>To register as a new user, please contact a member of the NYU team, especially:<br /> <br /> * [http://www.cs.nyu.edu/~mdeters/ Morgan Deters]<br /> * [http://www.cs.nyu.edu/~dejan/ Dejan Jovanovic]</div>

Admin