Deletion log
From CVC4
Below is a list of the most recent deletions.
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 11:39, 30 November 2010 Mdeters (Talk | contribs) deleted page File:Mtg20101130 b.png
- 21:17, 21 November 2010 Mdeters (Talk | contribs) deleted page NextMeeting (content was: '#REDIRECT [[{{#ifexist: Meeting Minutes - November 23, 2010|Meeting Minutes - November 23, 2010]] {{ #ifexist: Meeting Minutes - {{#timel:F j, Y|{{#expr:86400*1}}…' (and the only contributor was 'Mdeters'))
- 10:07, 21 September 2010 Mdeters (Talk | contribs) deleted page File:20100921a.png
- 08:23, 6 July 2010 Mdeters (Talk | contribs) deleted page File:20100706c.png
- 08:22, 6 July 2010 Mdeters (Talk | contribs) deleted page File:20100706b.png
- 08:22, 6 July 2010 Mdeters (Talk | contribs) deleted page File:20100706a.png
- 08:22, 6 July 2010 Mdeters (Talk | contribs) deleted page File:20100706.notebook
- 11:37, 7 May 2010 Mdeters (Talk | contribs) deleted page File:20100506.notebook
- 11:38, 22 April 2010 Mdeters (Talk | contribs) deleted page Meeting Minutes - April 20, 2010 (content was: 'Category:Minutes {{mtglinks|||2010-4-20|10am|12pm}} =Notes= Agenda: * '''Code Review Review''' * Theory rewriting * Types * Splitting on Demand =Assignment…' (and the only contributor was 'Mdeters'))
- 13:26, 15 April 2010 Mdeters (Talk | contribs) deleted page File:Mtg20090415.png
- 13:26, 15 April 2010 Mdeters (Talk | contribs) deleted page File:Mtg20090415.notebook
- 09:31, 25 March 2010 Mdeters (Talk | contribs) deleted page File:Mtg20100325 2.png
- 15:14, 1 March 2010 Mdeters (Talk | contribs) deleted page Meeting Minutes - March 2, 2010 (content was: 'Category:Minutes {{mtglinks|||2010-3-2|10am|12pm}} =Agenda= ''Note that this meeting may or may not be held as normal.'' =Notes= ''Note that this meeting …' (and the only contributor was 'Mdeters'))
- 10:06, 11 February 2010 Admin (Talk | contribs) deleted page File:20100211.notebook
- 10:06, 11 February 2010 Admin (Talk | contribs) deleted page File:20100211d.png
- 10:06, 11 February 2010 Admin (Talk | contribs) deleted page File:20100211c.png
- 10:06, 11 February 2010 Admin (Talk | contribs) deleted page File:20100211b.png
- 10:06, 11 February 2010 Admin (Talk | contribs) deleted page File:20100211a.png
- 10:31, 15 December 2009 Admin (Talk | contribs) deleted page File:Mtg-20091215.notebook
- 10:30, 15 December 2009 Admin (Talk | contribs) deleted page File:Mtg-20091215a.png
- 10:30, 15 December 2009 Admin (Talk | contribs) deleted page File:Mtg-20091215b.png
- 19:13, 8 October 2009 Admin (Talk | contribs) deleted page File:ExprBuilder - Tim & Morgan 20091008 1.jpg (wrong name, reuploading)
- 19:11, 8 October 2009 Admin (Talk | contribs) deleted page File:ExprBuilder - Tim TARDIS - first month New York Morgan 2009.10.08 3.jpg (wrong name, reuploading)
- 19:11, 8 October 2009 Admin (Talk | contribs) deleted page File:ExprBuilder - Tim TARDIS - first month New York Morgan 2009.10.08 2.jpg (wrong name, reuploading)
- 12:27, 7 October 2009 Admin (Talk | contribs) deleted page Theories and Decision Procedures (content was: '== Decision Procedures == === Theory of Bit-Vectors === We are keeping a survey of important papers on deciding the theo...' (and the only contributor was 'Dejan Jovanović'))
- 12:26, 7 October 2009 Admin (Talk | contribs) deleted page Main Page (content was: '<big>'''MediaWiki has been successfully installed.'''</big> Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for infor...' (and the only contributor was 'MediaWiki default'))
- 12:25, 7 October 2009 Admin (Talk | contribs) deleted page Template:Developer Meeting Minutes - 2009 (content was: '==September 2009== {{Developer Meeting Minutes - September 2009}} ==October 2009== {{Developer Meeting Minutes - October 2009}} ==November 2009== {{Developer Meeting Minutes - November 2009}} ==December 2009== {{Developer Meeting Minutes...')
- 13:49, 5 October 2009 Admin (Talk | contribs) deleted page Meeting Minutes - October 13, 2009 (content was: 'Category:Minutes {{mtglinks|||2009-10-13|10am|12pm}} =Meeting Agenda= =Progress= =Assignments= ==Ongoing== =Links= * The notebook file from this meeting')
- 14:21, 4 October 2009 Admin (Talk | contribs) deleted page Meeting Minutes - October 29, 2009 (content was: 'Notes from 29 October, 2009 This meeting took place from 10am to 11:30am. There are electronic notes available. =Meeting Agenda= =Progress= =Assignments= ==Ongoing== *Dejan & Morgan - investiga...')
- 14:20, 4 October 2009 Admin (Talk | contribs) deleted page Meeting Minutes - October 15, 2009 (content was: 'Category:Minutes {{mtglinks|||2009-10-15|10am|11:30am}} =Meeting Agenda= =Progress= =Assignments= ==Ongoing== =Links= * The notebook file from this meeting')
- 14:20, 4 October 2009 Admin (Talk | contribs) deleted page Meeting Minutes - October 20, 2009 (content was: 'Category:Minutes {{mtglinks|||2009-10-20|10am|12pm}} =Meeting Agenda= =Progress= =Assignments= ==Ongoing== =Links= * The notebook file from this meeting')
- 14:20, 4 October 2009 Admin (Talk | contribs) deleted page Meeting Minutes - October 22, 2009 (content was: 'Notes from 22 October, 2009 This meeting took place from 10am to 11:30am. There are electronic notes available. =Meeting Agenda= =Progress= =Assignments= ==Ongoing== *Dejan & Morgan - investiga...')
- 14:20, 4 October 2009 Admin (Talk | contribs) deleted page Meeting Minutes - October 27, 2009 (content was: 'Notes from 27 October, 2009 This meeting took place from 10am to 12pm. There are electronic notes available. =Meeting Agenda= =Progress= =Assignments= ==Ongoing== *Dejan & Morgan - investigate ...')
- 14:20, 4 October 2009 Admin (Talk | contribs) deleted page Meeting Minutes - November 3, 2009 (content was: 'Notes from 03 November, 2009 This meeting took place from 10am to 12pm. There are electronic notes available. =Meeting Agenda= =Progress= =Assignments= ==Ongoing== *Dejan & Morgan - investigate...')
- 14:20, 4 October 2009 Admin (Talk | contribs) deleted page Meeting Minutes - November 5, 2009 (content was: 'Notes from 5 November, 2009 This meeting took place from 10am to 11:30am. There are electronic notes available. =Meeting Agenda= =Progress= =Assignments= ==Ongoing== *Dejan & Morgan - investiga...')
- 14:20, 4 October 2009 Admin (Talk | contribs) deleted page Meeting Minutes - November 10, 2009 (content was: 'Notes from 10 November, 2009 This meeting took place from 10am to 12pm. There are electronic notes available. =Meeting Agenda= =Progress= =Assignments= ==Ongoing== *Dejan & Morgan - investigate...')
- 14:20, 4 October 2009 Admin (Talk | contribs) deleted page Meeting Minutes - November 12, 2009 (content was: 'Notes from 12 November, 2009 This meeting took place from 10am to 11:30am. There are electronic notes available. =Meeting Agenda= =Progress= =Assignments= ==Ongoing== *Dejan & Morgan - investig...')
- 14:20, 4 October 2009 Admin (Talk | contribs) deleted page Meeting Minutes - November 17, 2009 (content was: 'Notes from 17 November, 2009 This meeting took place from 10am to 12pm. There are electronic notes available. =Meeting Agenda= =Progress= =Assignments= ==Ongoing== *Dejan & Morgan - investigate...')
- 14:20, 4 October 2009 Admin (Talk | contribs) deleted page Meeting Minutes - November 19, 2009 (content was: 'Notes from 19 November, 2009 This meeting took place from 10am to 11:30am. There are electronic notes available. =Meeting Agenda= =Progress= =Assignments= ==Ongoing== *Dejan & Morgan - investig...')
- 14:20, 4 October 2009 Admin (Talk | contribs) deleted page Meeting Minutes - November 24, 2009 (content was: 'Notes from 24 November, 2009 This meeting took place from 10am to 12pm. There are electronic notes available. =Meeting Agenda= =Progress= =Assignments= ==Ongoing== *Dejan & Morgan - investigate...')
- 10:35, 3 October 2009 Admin (Talk | contribs) deleted page Library (content was: '#REDIRECT References' (and the only contributor was 'Mdeters'))
- 14:01, 1 October 2009 Admin (Talk | contribs) deleted page File:New icon.svg
- 10:21, 1 October 2009 Admin (Talk | contribs) deleted page Frequently Asked Questions (content was: '== Build Problems == == Submission Problems == == Web Service Problems ==' (and the only contributor was '72.225.247.118'))
- 10:19, 1 October 2009 Admin (Talk | contribs) restored page Developer Resources (3 revisions restored)
- 10:19, 1 October 2009 Admin (Talk | contribs) deleted page Developer Resources (content was: 'In addition to this wiki, we also have a [http://cs.nyu.edu/mailman/listinfo/cvc4-devel developer mailing list] and [http://goedel.cims.nyu.edu/bugzilla3/ Bugzilla da...' (and the only contributor was 'Admin'))
- 10:17, 1 October 2009 Admin (Talk | contribs) deleted page Template:Developer Meeting Minutes - December 2009 (content was: '* December meeting minutes <!-- * Meeting Minutes - December 1, 2009 * Meeting Minutes - December 3, 2009 * Meeting Minutes - December 8, 2009 * Meeting Minutes - December 10, 2009 * [[Meeting Minutes - December 15, 2009]...')
- 10:17, 1 October 2009 Admin (Talk | contribs) deleted page Template:Developer Meeting Minutes - September 2009 (content was: '* Meeting Minutes - September 8, 2009 * Meeting Minutes - September 15, 2009 * Meeting Minutes - September 17, 2009 * Meeting Minutes - September 22, 20...' (and the only contributor was 'Admin'))
- 10:17, 1 October 2009 Admin (Talk | contribs) deleted page Template:Developer Meeting Minutes - October 2009 (content was: '* Meeting Minutes - October 1, 2009 <!-- * Meeting Minutes - October 6, 2009 * Meeting Minutes - October 8, 2009 * Meeting Minutes - October 13, 2009 * Meeting Minutes - October 15, 2009 * Meeting Minutes - October ...')
- 10:17, 1 October 2009 Admin (Talk | contribs) deleted page Template:Developer Meeting Minutes - November 2009 (content was: '* November meeting minutes <!-- * Meeting Minutes - November 3, 2009 * Meeting Minutes - November 5, 2009 * Meeting Minutes - November 10, 2009 * Meeting Minutes - November 12, 2009 * Meeting Minutes - November 17, 2009...')
- 16:58, 29 September 2009 Admin (Talk | contribs) deleted page File:Mtg20090929.pdf (Duplicated file)
