All public logs

Combined display of all available logs of The Twelf Project. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 13:21, 15 October 2007 Tom7 (Talk | contribs) moved page Real World Binding Structures to Real-world binding structures (canonical page name style; use hyphen (as in article) to reduce confusion with %worlds)
• 13:24, 13 October 2007 Tom7 (Talk | contribs) deleted page The Twelf Project:General disclaimer (content was: 'letovaral' (and the only contributor was '129.123.104.8'))
• 13:23, 13 October 2007 Tom7 (Talk | contribs) blocked 129.123.104.8 (Talk) with an expiry time of indefinite (bot)
• 13:22, 13 October 2007 Tom7 (Talk | contribs) deleted page The Twelf Project:Privacy policy (content was: 'lipaslic' (and the only contributor was '129.123.104.8'))
• 21:26, 2 October 2007 Tom7 (Talk | contribs) uploaded File:Sudokuexample.svg (From Wikipedia, public domain.)
• 20:25, 26 September 2007 Tom7 (Talk | contribs) blocked 195.55.130.44 (Talk) with an expiry time of indefinite (vandal)
• 03:21, 25 February 2007 Tom7 (Talk | contribs) moved page The Twelf Project:MIT to The Twelf Project:MIT license (not a page about MIT)
• 11:13, 1 February 2007 Tom7 (Talk | contribs) protected "Template:Click-inline" (spam filter prevents anyway [edit=sysop:move=sysop]) (hist)
• 10:36, 31 January 2007 Tom7 (Talk | contribs) uploaded File:Disk download.gif (Small "disk" image, made by user:Tom7 and licensed for free use.)
• 10:30, 31 January 2007 Tom7 (Talk | contribs) moved page Template:The Twelf Project/Learning Twelf to Template:The Twelf Project/Getting Started (merging mainpage info)
• 10:30, 31 January 2007 Tom7 (Talk | contribs) deleted page Template:The Twelf Project/Getting Started (Deleted to make way for move)
• 21:07, 3 November 2006 Tom7 (Talk | contribs) moved page Constraint domains to Constraint domain (using singular when possible for article titles)
• 19:00, 3 November 2006 Tom7 (Talk | contribs) deleted page Constraint domain (then bye-bye to this for now. content was: '#REDIRECT Constraint domains and coverage checking' (and the only contributor was 'Rsimmons'))
• 15:53, 1 November 2006 Tom7 (Talk | contribs) moved page Talk:Congruence lemma to Talk:Respects lemma (congruence lemmas are a particular mode of use of respects lemmas)
• 15:53, 1 November 2006 Tom7 (Talk | contribs) moved page Congruence lemma to Respects lemma (congruence lemmas are a particular mode of use of respects lemmas)
• 04:43, 1 November 2006 Tom7 (Talk | contribs) uploaded File:Tom Twelfelf2.jpg (improve color dynamic range, balance, saturation, reduce size)
• 20:03, 23 October 2006 Tom7 (Talk | contribs) moved page Talk:General Description of Twelf to Talk:General description of Twelf (fine by me, but use lowercase in titles so that they can be inlined in sentences)
• 20:03, 23 October 2006 Tom7 (Talk | contribs) moved page General Description of Twelf to General description of Twelf (fine by me, but use lowercase in titles so that they can be inlined in sentences)
• 13:51, 20 October 2006 Tom7 (Talk | contribs) moved page Congruence lemmas to Congruence lemma (singular for titles when it makes sense)
• 18:41, 16 October 2006 Tom7 (Talk | contribs) changed group membership for User:Crary from (none) to administrator, party-elf and pop-group
• 01:11, 16 October 2006 Tom7 (Talk | contribs) deleted page % define (more cleanup of orphan redirects; content was: '#REDIRECT Define declaration' (and the only contributor was 'Tom7'))
• 01:10, 16 October 2006 Tom7 (Talk | contribs) deleted page Talk:AJALF (content was: '#REDIRECT The Twelf Project talk:AJALF' (and the only contributor was 'Tom7'))
• 01:10, 16 October 2006 Tom7 (Talk | contribs) deleted page AJALF (content was: '#REDIRECT The Twelf Project:AJALF' (and the only contributor was 'Tom7'))
• 01:01, 16 October 2006 Tom7 (Talk | contribs) moved page Talk:AJALF to The Twelf Project talk:AJALF (should be in project space, I think)
• 01:01, 16 October 2006 Tom7 (Talk | contribs) moved page AJALF to The Twelf Project:AJALF (should be in project space, I think)
• 13:43, 14 October 2006 Tom7 (Talk | contribs) moved page Talk:% define to Talk:Define declaration (space is perhaps difficult to spot, but maybe we should try to fix the root problem)
• 13:43, 14 October 2006 Tom7 (Talk | contribs) moved page % define to Define declaration (space is perhaps difficult to spot, but maybe we should try to fix the root problem)
• 14:04, 10 October 2006 Tom7 (Talk | contribs) moved page Function (relation) to Function (no need for dab)
• 22:05, 5 October 2006 Tom7 (Talk | contribs) deleted page User:Tom7/CPS conversion (no need for this now ; content was: '#REDIRECT CPS conversion' (and the only contributor was 'Tom7'))
• 21:47, 5 October 2006 Tom7 (Talk | contribs) moved page User:Tom7/CPS conversion to CPS conversion (ready for prime time; move to article namespace)
• 14:42, 5 October 2006 Tom7 (Talk | contribs) deleted page User:Tom7/CPS Conversion (content was: '#REDIRECT User:Tom7/CPS conversion' (and the only contributor was 'Tom7'))
• 14:42, 5 October 2006 Tom7 (Talk | contribs) moved page User:Tom7/CPS Conversion to User:Tom7/CPS conversion
• 21:32, 30 September 2006 Tom7 (Talk | contribs) deleted page Canonical form (content was: '#REDIRECT Canonical forms lemma' (and the only contributor was 'Rsimmons'))
• 22:12, 28 September 2006 Tom7 (Talk | contribs) deleted page UserGuide (orphaned; content was: '#REDIRECT User's Guide' (and the only contributor was 'Tom7'))
• 13:44, 28 September 2006 Tom7 (Talk | contribs) moved page Template:Multimap to Template:Lolli (alias)
• 21:27, 21 September 2006 Tom7 (Talk | contribs) moved page Talk:UserGuide to Talk:User's Guide (proper title)
• 21:27, 21 September 2006 Tom7 (Talk | contribs) moved page UserGuide to User's Guide (proper title)
• 14:07, 12 September 2006 Tom7 (Talk | contribs) deleted page Holes In Metalemmas (deleting capitalized version to reduce confusion; content was: '#REDIRECT Holes in metatheorems' (and the only contributor was 'Tom7'))
• 14:02, 12 September 2006 Tom7 (Talk | contribs) moved page Holes In Metalemmas to Holes in metatheorems (lowercase title, also lemma→theorem because the holes ''stand in'' for lemmas but they are typically not ''in'' the lemmas)
• 14:24, 7 September 2006 Tom7 (Talk | contribs) deleted page Category:Twelf Code (moved to (lowercase) Category:Twelf code)
• 20:28, 6 September 2006 Tom7 (Talk | contribs) moved page Proofs by reducto ad absurdum to Proofs by reductio ad absurdum (spelling error)