User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:54, 18 March 2011 (diff | hist) . . (-1) . . Using SSL with Church (→Instructions for Ubuntu)
- 13:54, 18 March 2011 (diff | hist) . . (-1) . . Using SSL with Church (→Instructions for Mac OS X)
- 13:54, 18 March 2011 (diff | hist) . . (-310) . . Using SSL with Church (→Fingerprints)
- 13:52, 18 March 2011 (diff | hist) . . (+28) . . CVC4
- 13:26, 18 March 2011 (diff | hist) . . (+26) . . N CVC4:General disclaimer (Created page with 'Don't take wooden nickels.') (current)
- 13:26, 18 March 2011 (diff | hist) . . (+164) . . CVC4:Privacy policy (current)
- 13:25, 18 March 2011 (diff | hist) . . (+73) . . N CVC4:Privacy policy (Created page with 'Contributions to CVC Portal are considered to be part of the CVC project.')
- 13:24, 18 March 2011 (diff | hist) . . (+142) . . N CVC4:About (Created page with 'This wiki contains information relevant to CVC development, and specifically serves as a repository for design and development notes for CVC4.') (current)
- 13:23, 18 March 2011 (diff | hist) . . (+2,235) . . N Using SSL with Church (Created page with '=Overview= Goedel runs two web sites: the regular one on port 80, and an SSL-protected one on port 443. We don't pay a certificate authority lots of money to bless our certific…')
- 13:01, 18 March 2011 (diff | hist) . . (+346) . . N File:Goedel-ssl-cert.pem (This is the X509 certificate of goedel.cims.nyu.edu. Its fingerprints are MD5(/etc/ssl/certs/ssl-cert-snakeoil.pem)= 5336b26737a1b2a5a25961fbc8ab28b8 SHA1(/etc/ssl/certs/ssl-cert-snakeoil.pem)= 2b7a95d56af26706c0a566e4d80b8f40f5fbd5ed SHA256(/etc/ssl/cer) (current)
- 12:52, 18 March 2011 (diff | hist) . . (+5) . . Developer Meeting Minutes (→Adding electronic notes to meeting minutes)
- 12:52, 18 March 2011 (diff | hist) . . (-20) . . Developer Meeting Minutes (→Adding electronic notes to meeting minutes)
- 12:52, 18 March 2011 (diff | hist) . . (+6) . . Developer Meeting Minutes (→Adding electronic notes to meeting minutes)
- 12:51, 18 March 2011 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Adding electronic notes to meeting minutes)
- 12:51, 18 March 2011 (diff | hist) . . (+992) . . Developer Meeting Minutes (→Adding electronic notes to meeting minutes)
- 12:46, 18 March 2011 (diff | hist) . . (+38) . . Developer Meeting Minutes (→Editing the wiki text)
- 12:45, 18 March 2011 (diff | hist) . . (+702) . . Developer Meeting Minutes (→Adding meeting minutes to the wiki)
- 12:40, 18 March 2011 (diff | hist) . . (-3) . . Developer Meeting Minutes (→Adding meeting minutes to the wiki)
- 12:40, 18 March 2011 (diff | hist) . . (+2) . . Developer Meeting Minutes (→Adding meeting minutes to the wiki)
- 12:40, 18 March 2011 (diff | hist) . . (+17) . . Developer Meeting Minutes (→Adding meeting minutes to the wiki)
- 12:39, 18 March 2011 (diff | hist) . . (+594) . . Developer Meeting Minutes
- 12:36, 18 March 2011 (diff | hist) . . (-9) . . Newswire (→What headline scripts are there?)
- 12:36, 18 March 2011 (diff | hist) . . (+30) . . Newswire (→What headline scripts are there?)
- 12:35, 18 March 2011 (diff | hist) . . (+2,057) . . Newswire (→What headline scripts are there?)
- 11:46, 18 March 2011 (diff | hist) . . (+192) . . Newswire
- 11:46, 18 March 2011 (diff | hist) . . (+439) . . How do I... ?
- 09:41, 18 March 2011 (diff | hist) . . (+23) . . Meeting Minutes - March 25, 2011 (→Status)
- 09:41, 18 March 2011 (diff | hist) . . (-252) . . Meeting Minutes - March 18, 2011 (→Discussion)
- 09:41, 18 March 2011 (diff | hist) . . (+1,467) . . N Meeting Minutes - March 25, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-03-25|10:30am|12:30pm}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] [http://goedel.cims…')
- 09:36, 18 March 2011 (diff | hist) . . (0) . . N File:Mtg20110318.png (current)
- 09:36, 18 March 2011 (diff | hist) . . (0) . . N File:Mtg20110318.notebook (current)
- 09:28, 18 March 2011 (diff | hist) . . (+26) . . Meeting Minutes - March 18, 2011 (→Discussion)
- 09:18, 18 March 2011 (diff | hist) . . (+28) . . Meeting Minutes - March 18, 2011 (→Discussion)
- 09:16, 18 March 2011 (diff | hist) . . (+31) . . Meeting Minutes - March 18, 2011 (→Assignments)
- 09:13, 18 March 2011 (diff | hist) . . (+942) . . Meeting Minutes - March 18, 2011
- 08:12, 18 March 2011 (diff | hist) . . (+985) . . Meeting Minutes - March 18, 2011 (→Status)
- 06:50, 18 March 2011 (diff | hist) . . (+153) . . Newswire (→Manual addition of a one-time headline)
- 05:51, 18 March 2011 (diff | hist) . . (+2) . . Newswire
- 15:12, 17 March 2011 (diff | hist) . . (+266) . . Meeting Minutes - March 18, 2011 (→Status)
- 06:44, 17 March 2011 (diff | hist) . . (+110) . . Newswire
- 16:10, 15 March 2011 (diff | hist) . . (+417) . . Newswire
- 16:06, 15 March 2011 (diff | hist) . . (+382) . . Newswire (→Adding items to the newswire)
- 16:00, 15 March 2011 (diff | hist) . . (+3,771) . . Newswire (→Adding items to the newswire)
- 15:32, 15 March 2011 (diff | hist) . . (+49) . . Newswire (→Order of news items)
- 15:32, 15 March 2011 (diff | hist) . . (+1,802) . . N Newswire (Created page with 'The CVC4 newswire is a feed of CVC4-themed news (and occasionally non-CVC4 news relevant to the CVC4 developer community) that is displayed on the [http://goedel.cims.nyu.edu/ fr…')
- 15:17, 15 March 2011 (diff | hist) . . (-19) . . Meeting Minutes - March 18, 2011 (→Discussion)
- 15:17, 15 March 2011 (diff | hist) . . (0) . . Meeting Minutes - March 18, 2011 (→Discussion)
- 15:15, 15 March 2011 (diff | hist) . . (+132) . . N Template:CVC3BUG (Created page with '[http://cs.nyu.edu/acsys/bugs/show_bug.cgi?id={{{1}}} Bug {{{1}}}]<noinclude> Category:External link templates </noinclude>') (current)
- 15:14, 15 March 2011 (diff | hist) . . (+175) . . Meeting Minutes - March 18, 2011 (→Discussion)
- 15:10, 15 March 2011 (diff | hist) . . (+8) . . Meeting Minutes - March 18, 2011 (→Discussion)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
