User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:36, 18 January 2011 (diff | hist) . . (+24) . . Developer Meeting Minutes (→Third Quarter 2011)
- 10:36, 18 January 2011 (diff | hist) . . (0) . . Developer Meeting Minutes (→Second Quarter 2011)
- 10:33, 18 January 2011 (diff | hist) . . (-24) . . Developer Meeting Minutes (→First Quarter 2011)
- 09:42, 18 January 2011 (diff | hist) . . (0) . . Meeting Minutes - January 28, 2011
- 09:42, 18 January 2011 (diff | hist) . . (-271) . . Meeting Minutes - January 28, 2011 (→Status)
- 09:42, 18 January 2011 (diff | hist) . . (+1,093) . . N Meeting Minutes - January 28, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-1-18|10:30am|12:30pm}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] *Morgan - UF, OpenS…')
- 09:34, 18 January 2011 (diff | hist) . . (+1,178) . . N Meeting Minutes - January 18, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-1-18|10:30am|12:30pm}} =Notes= * Next meeting Friday January 28, 10:30am - '''note new time''' ==Status== [http://goedel.cims.nyu.edu/c…') (current)
- 14:55, 11 January 2011 (diff | hist) . . (+102) . . Meeting Minutes - January 11, 2011 (→Discussion) (current)
- 14:55, 11 January 2011 (diff | hist) . . (+6) . . Meeting Minutes - January 11, 2011 (→Discussion)
- 14:52, 11 January 2011 (diff | hist) . . (+549) . . Meeting Minutes - January 11, 2011 (→Discussion)
- 14:49, 11 January 2011 (diff | hist) . . (+305) . . Meeting Minutes - January 11, 2011 (→Status)
- 14:47, 11 January 2011 (diff | hist) . . (-58) . . Meeting Minutes - January 11, 2011 (→Assignments)
- 14:45, 11 January 2011 (diff | hist) . . (+772) . . Meeting Minutes - January 11, 2011 (→Discussion)
- 14:40, 11 January 2011 (diff | hist) . . (+57) . . Meeting Minutes - January 11, 2011 (→Status)
- 10:59, 11 January 2011 (diff | hist) . . (-130) . . Developer Meeting Minutes
- 10:59, 11 January 2011 (diff | hist) . . (-18) . . Developer Meeting Minutes (→Archived Meeting Minutes (pre-2010 4Q))
- 10:58, 11 January 2011 (diff | hist) . . (-24) . . Developer Meeting Minutes (→First Quarter 2011)
- 10:57, 11 January 2011 (diff | hist) . . (+101) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2011)
- 10:56, 11 January 2011 (diff | hist) . . (+219) . . N Developer Meeting Minutes for 2011 (Created page with '==First Quarter 2011== The first quarter meeting index is still on the main meeting minutes page. ==Second Quarter 2011== ==Thi…')
- 10:55, 11 January 2011 (diff | hist) . . (+194) . . Developer Meeting Minutes for 2010 (→Fourth Quarter 2010) (current)
- 10:55, 11 January 2011 (diff | hist) . . (-374) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2010)
- 10:54, 11 January 2011 (diff | hist) . . (0) . . Meeting Minutes - January 11, 2011
- 10:52, 11 January 2011 (diff | hist) . . (0) . . N File:Mtg20110111.png (current)
- 10:51, 11 January 2011 (diff | hist) . . (0) . . N File:Mtg20110111.notebook (current)
- 08:41, 11 January 2011 (diff | hist) . . (-14) . . Meeting Minutes - January 11, 2011 (→Notes)
- 08:39, 11 January 2011 (diff | hist) . . (+966) . . N Meeting Minutes - January 11, 2011 (Created page with 'Category:Minutes {{mtglinks|||2010-1-11|10:30am|12:30pm}} =Notes= * probably meetings are on Thursdays in Spring ? * Liana back the 15th (ish) * Mina back the 20th ==Stat…')
- 15:11, 14 December 2010 (diff | hist) . . (0) . . N File:Mtg20101214c.png (current)
- 15:11, 14 December 2010 (diff | hist) . . (0) . . N File:Mtg20101214b.png (current)
- 15:11, 14 December 2010 (diff | hist) . . (0) . . N File:Mtg20101214a.png (current)
- 15:11, 14 December 2010 (diff | hist) . . (0) . . N File:Mtg20101214.notebook (current)
- 15:10, 14 December 2010 (diff | hist) . . (+190) . . Meeting Minutes - December 14, 2010 (current)
- 10:32, 14 December 2010 (diff | hist) . . (+34) . . Meeting Minutes - December 14, 2010 (→Discussion)
- 10:09, 14 December 2010 (diff | hist) . . (+57) . . Meeting Minutes - December 14, 2010 (→Status)
- 09:58, 14 December 2010 (diff | hist) . . (+184) . . Meeting Minutes - December 14, 2010 (→Status)
- 09:54, 14 December 2010 (diff | hist) . . (+42) . . Meeting Minutes - December 14, 2010 (→Discussion)
- 09:38, 14 December 2010 (diff | hist) . . (+19) . . Meeting Minutes - December 14, 2010 (→Discussion)
- 09:38, 14 December 2010 (diff | hist) . . (+515) . . Meeting Minutes - December 14, 2010 (→Notes)
- 08:52, 14 December 2010 (diff | hist) . . (+1,581) . . N Meeting Minutes - December 14, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-12-14|10:45am|12:30pm}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] *Morgan - UF, proof…')
- 11:00, 7 December 2010 (diff | hist) . . (0) . . N File:Mtg20101207c.png (current)
- 11:00, 7 December 2010 (diff | hist) . . (0) . . N File:Mtg20101207b.png (current)
- 10:59, 7 December 2010 (diff | hist) . . (0) . . N File:Mtg20101207a.png (current)
- 10:59, 7 December 2010 (diff | hist) . . (0) . . N File:Mtg20101207.notebook (current)
- 08:54, 7 December 2010 (diff | hist) . . (+1) . . Meeting Minutes - December 7, 2010 (→Discussion) (current)
- 08:50, 7 December 2010 (diff | hist) . . (+30) . . Meeting Minutes - December 7, 2010 (→Discussion)
- 08:50, 7 December 2010 (diff | hist) . . (+106) . . Meeting Minutes - December 7, 2010 (→Status)
- 12:41, 30 November 2010 (diff | hist) . . (-1,161) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2010)
- 12:40, 30 November 2010 (diff | hist) . . (0) . . Developer Meeting Minutes for 2010 (→Fourth Quarter 2010)
- 12:39, 30 November 2010 (diff | hist) . . (+20) . . Developer Meeting Minutes for 2010 (→Fourth Quarter 2010)
- 12:39, 30 November 2010 (diff | hist) . . (+10) . . Developer Meeting Minutes for 2010 (→Fourth Quarter 2010)
- 12:39, 30 November 2010 (diff | hist) . . (+122) . . Developer Meeting Minutes for 2010
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
