User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:03, 4 April 2011 (diff | hist) . . (+278) . . Developer Meeting Minutes for 2011
- 10:01, 4 April 2011 (diff | hist) . . (0) . . To Discuss (→A case for iterators) (current)
- 15:30, 1 April 2011 (diff | hist) . . (-39) . . Meeting Minutes - April 8, 2011 (→Status)
- 15:30, 1 April 2011 (diff | hist) . . (+88) . . Meeting Minutes - April 8, 2011 (→Discussion)
- 15:29, 1 April 2011 (diff | hist) . . (+76) . . Meeting Minutes - April 8, 2011 (→Discussion)
- 13:55, 1 April 2011 (diff | hist) . . (0) . . Meeting Minutes - April 8, 2011
- 09:54, 1 April 2011 (diff | hist) . . (0) . . N File:Mtg20110401b.png (current)
- 09:54, 1 April 2011 (diff | hist) . . (0) . . N File:Mtg20110401a.png (current)
- 09:54, 1 April 2011 (diff | hist) . . (0) . . N File:Mtg20110401.notebook (current)
- 09:48, 1 April 2011 (diff | hist) . . (-29) . . Developer's Guide (→Adding a new Theory)
- 09:44, 1 April 2011 (diff | hist) . . (-270) . . Meeting Minutes - April 1, 2011 (→next week) (current)
- 09:44, 1 April 2011 (diff | hist) . . (+1,369) . . N Meeting Minutes - April 8, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-04-08|10:00am|12:00pm}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] [http://goedel.cims…')
- 09:43, 1 April 2011 (diff | hist) . . (-665) . . Meeting Minutes - April 1, 2011
- 08:46, 1 April 2011 (diff | hist) . . (+2,483) . . Meeting Minutes - April 1, 2011
- 08:41, 1 April 2011 (diff | hist) . . (+53) . . CVC4 Wishlist
- 23:04, 28 March 2011 (diff | hist) . . (+11) . . Meeting Minutes - March 25, 2011 (→Discussion) (current)
- 23:04, 28 March 2011 (diff | hist) . . (+68) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 23:04, 28 March 2011 (diff | hist) . . (-1,973) . . Meeting Minutes - March 25, 2011
- 23:03, 28 March 2011 (diff | hist) . . (-11) . . Meeting Minutes - April 1, 2011 (→Discussion)
- 23:03, 28 March 2011 (diff | hist) . . (+3,389) . . N Meeting Minutes - April 1, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-04-01|10:30am|12:30pm}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] [http://goedel.cims…')
- 16:01, 26 March 2011 (diff | hist) . . (-2) . . File:Relevancy-notes.pdf (current)
- 16:01, 26 March 2011 (diff | hist) . . (+56) . . N File:Relevancy-notes.bib (This file used to generate File:Relevancy-notes.pdf.) (current)
- 16:00, 26 March 2011 (diff | hist) . . (+55) . . N File:Relevancy-notes.tex (This file used to generate File:Relevancy-notes.pdf) (current)
- 15:59, 26 March 2011 (diff | hist) . . (+88) . . File:Relevancy-notes.pdf
- 19:39, 25 March 2011 (diff | hist) . . (+19) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 19:39, 25 March 2011 (diff | hist) . . (+35) . . Meeting Minutes - March 25, 2011 (→Assignments)
- 09:14, 25 March 2011 (diff | hist) . . (+201) . . Meeting Minutes - March 25, 2011
- 09:04, 25 March 2011 (diff | hist) . . (+14) . . Meeting Minutes - March 25, 2011 (→Notes)
- 08:36, 25 March 2011 (diff | hist) . . (+334) . . Meeting Minutes - March 25, 2011
- 08:18, 25 March 2011 (diff | hist) . . (+241) . . Meeting Minutes - March 25, 2011
- 07:55, 25 March 2011 (diff | hist) . . (+345) . . Meeting Minutes - March 25, 2011
- 07:49, 25 March 2011 (diff | hist) . . (+114) . . Meeting Minutes - March 25, 2011 (→Status)
- 11:55, 24 March 2011 (diff | hist) . . (+117) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 11:53, 24 March 2011 (diff | hist) . . (+105) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 11:51, 24 March 2011 (diff | hist) . . (+151) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 11:48, 24 March 2011 (diff | hist) . . (+194) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 19:06, 23 March 2011 (diff | hist) . . (+95) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 16:28, 23 March 2011 (diff | hist) . . (+46) . . Meeting Minutes - March 25, 2011
- 15:06, 23 March 2011 (diff | hist) . . (+46) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 08:57, 22 March 2011 (diff | hist) . . (+191) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 17:30, 21 March 2011 (diff | hist) . . (+34) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 17:21, 21 March 2011 (diff | hist) . . (-12) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 17:19, 21 March 2011 (diff | hist) . . (+190) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 16:46, 21 March 2011 (diff | hist) . . (+4) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 16:46, 21 March 2011 (diff | hist) . . (+737) . . Meeting Minutes - March 25, 2011 (→Discussion)
- 15:18, 21 March 2011 (diff | hist) . . (-3) . . Newswire (→Size of news view)
- 11:14, 21 March 2011 (diff | hist) . . (-1) . . Meeting Minutes - March 18, 2011 (→Assignments) (current)
- 16:31, 18 March 2011 (diff | hist) . . (+185) . . Meeting Minutes - March 18, 2011 (→Assignments)
- 14:02, 18 March 2011 (diff | hist) . . (+3) . . Using SSL with Church (→Fingerprint)
- 14:02, 18 March 2011 (diff | hist) . . (+1,017) . . Using SSL with Church
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
