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)- 23:15, 2 January 2013 Mdeters (Talk | contribs) deleted page Public talk:Third Party Applications (content was: "Introduce a good website to buy louboutin shoes very cheap,http://www.christianlouboutinstore.org.uk,D4dsK3HHJ2GFD1<a href=http://www.christianlou…" (and the only contributor was "125.216.144.199"))
- 07:54, 14 September 2012 Mdeters (Talk | contribs) deleted page Personnel - Summer 2012 (content was: "Morgan - at IJCAR, otherwise around. Dejan - gone for SRI summer school (last week May), summer school in Trento (mid-June), IJCAR Liana - internship from May 2…" (and the only contributor was "Mdeters"))
- 08:55, 12 July 2012 Mdeters (Talk | contribs) deleted page Meeting Minutes - July 13, 2012 (content was: "#REDIRECT Meeting Minutes - July 12, 2012" (and the only contributor was "Mdeters"))
- 09:05, 26 July 2011 Mdeters (Talk | contribs) deleted page Meeting Minutes - July 29, 2011 (content was: '#REDIRECT Meeting Minutes - July 28, 2011' (and the only contributor was 'Mdeters'))
- 13:21, 6 February 2011 Mdeters (Talk | contribs) deleted page File:Mtg20110204=b.png
- 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'))
