User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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
- 12:38, 30 November 2010 (diff | hist) . . (+1,279) . . N Developer Meeting Minutes for 2010 (Created page with '==First Quarter 2010== <ul>{{ mtgindex|2010-1-12}}{{ mtgindex|2010-1-14}}{{ mtgindex|2010-1-19}}{{ mtgindex|2010-1-21}}{{ mtgindex|2010-1-26}}{{ mtgindex|2010-1-28}}{{ mtgindex|2…')
- 12:38, 30 November 2010 (diff | hist) . . (+59) . . Developer Meeting Minutes (→Archived Meeting Minutes (pre-2010))
- 12:37, 30 November 2010 (diff | hist) . . (-23) . . Developer Meeting Minutes (→Fourth Quarter 2010)
- 12:36, 30 November 2010 (diff | hist) . . (+23) . . Developer Meeting Minutes (→Fourth Quarter 2010)
- 12:36, 30 November 2010 (diff | hist) . . (+144) . . Template:Mtgindex
- 12:32, 30 November 2010 (diff | hist) . . (-46) . . Developer Meeting Minutes (→First Quarter 2010)
- 12:32, 30 November 2010 (diff | hist) . . (-68) . . Developer Meeting Minutes (→Third Quarter 2010)
- 12:32, 30 November 2010 (diff | hist) . . (-68) . . Developer Meeting Minutes (→Third Quarter 2010)
- 12:31, 30 November 2010 (diff | hist) . . (-16) . . Template:Mtgindex
- 12:30, 30 November 2010 (diff | hist) . . (+83) . . Template:Mtgindex
- 12:29, 30 November 2010 (diff | hist) . . (+9) . . Template:Mtgindex
- 12:28, 30 November 2010 (diff | hist) . . (+102) . . Template:Mtgindex
- 12:26, 30 November 2010 (diff | hist) . . (+40) . . Template:Mtgindex
- 12:24, 30 November 2010 (diff | hist) . . (0) . . Template:Mtgindex
- 12:22, 30 November 2010 (diff | hist) . . (+62) . . Template:Mtgindex
- 12:21, 30 November 2010 (diff | hist) . . (+9) . . Template:Mtgindex
- 12:20, 30 November 2010 (diff | hist) . . (+5) . . Template:Mtgindex
- 12:19, 30 November 2010 (diff | hist) . . (0) . . Template:Mtgindex
- 12:18, 30 November 2010 (diff | hist) . . (+92) . . Developer Meeting Minutes
- 12:16, 30 November 2010 (diff | hist) . . (-242) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2011)
- 12:15, 30 November 2010 (diff | hist) . . (-242) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2010)
- 12:13, 30 November 2010 (diff | hist) . . (-11) . . Developer Meeting Minutes
- 12:12, 30 November 2010 (diff | hist) . . (+842) . . N Developer Meeting Minutes for 2009 (Created page with '==September 2009== <ul>{{ mtgindex|2009-09-08}}{{ mtgcancel|2009-09-10}}{{ mtgindex|2009-09-15}}{{ mtgindex|2009-09-17}}{{ mtgindex|2009-09-22}}{{ mtgindex|2009-09-24}}{{ mtginde…') (current)
- 12:12, 30 November 2010 (diff | hist) . . (-790) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2009)
- 12:11, 30 November 2010 (diff | hist) . . (+1,625) . . Developer Meeting Minutes
- 11:54, 30 November 2010 (diff | hist) . . (+1,389) . . N Meeting Minutes - December 7, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-12-7|10:30am|12:30pm}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] CVC3 "competition" r…')
- 11:51, 30 November 2010 (diff | hist) . . (-1) . . Meeting Minutes - November 30, 2010 (current)
- 11:51, 30 November 2010 (diff | hist) . . (0) . . Meeting Minutes - November 30, 2010
- 11:50, 30 November 2010 (diff | hist) . . (+2) . . Meeting Minutes - November 30, 2010
- 11:50, 30 November 2010 (diff | hist) . . (+99) . . Meeting Minutes - November 30, 2010
- 11:48, 30 November 2010 (diff | hist) . . (-1) . . Developer Meeting Minutes (→November 2010)
- 11:47, 30 November 2010 (diff | hist) . . (+6) . . Meeting Minutes - November 30, 2010
- 11:46, 30 November 2010 (diff | hist) . . (+6) . . Meeting Minutes - November 30, 2010
- 11:46, 30 November 2010 (diff | hist) . . (+1) . . Meeting Minutes - November 30, 2010
- 11:45, 30 November 2010 (diff | hist) . . (+96) . . Meeting Minutes - November 30, 2010 (→Bugs opened recently (and still unresolved))
- 11:43, 30 November 2010 (diff | hist) . . (-2) . . Meeting Minutes - November 30, 2010
- 11:40, 30 November 2010 (diff | hist) . . (0) . . N File:Mtg20101130d.png (current)
- 11:39, 30 November 2010 (diff | hist) . . (0) . . N File:Mtg20101130c.png (current)
- 11:39, 30 November 2010 (diff | hist) . . (0) . . N File:Mtg20101130b.png (current)
- 11:38, 30 November 2010 (diff | hist) . . (0) . . N File:Mtg20101130a.png (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
