User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
