User contributions for Alpha Beta Epsilon

6 August 2007

• 04:5504:55, 6 August 2007 diff hist +77 User talk:Alpha Beta Epsilon →Improvement: Added {{unsignedIP}} templates.
• 04:4904:49, 6 August 2007 diff hist +793 User talk:Frédéric Liné~enwiki Please use a formal tone whenever possible when editing

4 August 2007

• 21:5021:50, 4 August 2007 diff hist +4 User talk:Alpha Beta Epsilon →Improvement: Nested replies.
• 21:4721:47, 4 August 2007 diff hist +1,498 User talk:Alpha Beta Epsilon Amended notice and replyed to comment in response to "Improvement".
• 21:1821:18, 4 August 2007 diff hist +26 Metamath Emphasize the relatively small number of keyword tokens used in the Metamath language.
• 21:1621:16, 4 August 2007 diff hist −53 Metamath →A generic proof checker: Corrected an error: 2 = (1 + 1) is the hypotheses for opreq2i.
• 21:0421:04, 4 August 2007 diff hist +14 m Group theory Reinsert asterisk character.
• 19:5719:57, 4 August 2007 diff hist +14 Formal language Adjusted headings per WP:MSH
• 00:0700:07, 4 August 2007 diff hist −106 User talk:Alpha Beta Epsilon Unregistered users cannot create raw signitures.
• 00:0400:04, 4 August 2007 diff hist −8 Axiomatic set theory →Set theory (ZFC) foundations for mathematics: {{main}} template

3 August 2007

• 23:5723:57, 3 August 2007 diff hist +15 Koishikawa Annex, The University Museum, The University of Tokyo Reworded first paragraph.
• 23:0723:07, 3 August 2007 diff hist 0 m Hard disk drive →Technology: Semicolon
• 21:3921:39, 3 August 2007 diff hist +106 User talk:Alpha Beta Epsilon Amend response to "improvement".
• 21:2521:25, 3 August 2007 diff hist +1,219 User talk:Alpha Beta Epsilon No edit summary

2 August 2007

• 18:2418:24, 2 August 2007 diff hist +28 m Metamath No edit summary
• 18:2318:23, 2 August 2007 diff hist +1 m Metamath No edit summary
• 18:2118:21, 2 August 2007 diff hist −15 Metamath →Further remarks: Reword; <code>ify
• 18:0318:03, 2 August 2007 diff hist −69 Metamath →The Metamath language: Reword; markup(s) → token(s); <code>ify; restructure
• 17:4617:46, 2 August 2007 diff hist +1 Metamath →Hilbert Space Explorer: Spelling
• 17:4517:45, 2 August 2007 diff hist −2 m Metamath Mizar → Mizar system
• 17:4217:42, 2 August 2007 diff hist +29 Metamath markup -> keyword tokens
• 17:4017:40, 2 August 2007 diff hist +20 Metamath →The Metamath language: <code>ify
• 17:3017:30, 2 August 2007 diff hist −74 Metamath →A generic proof checker: Additional rewording

1 August 2007

• 19:5419:54, 1 August 2007 diff hist 0 m Metamath Relocated Metamath Proof Explorer infobox to a more appropriate location
• 19:5019:50, 1 August 2007 diff hist −147 Metamath →A generic proof checker: Reword
• 18:5818:58, 1 August 2007 diff hist +63 Metamath Reword introduction
• 08:5908:59, 1 August 2007 diff hist −61 Metamath →A generic proof checker: Added code tags; removed POV statement
• 08:5608:56, 1 August 2007 diff hist −2 m Metamath →A generic proof checker
• 08:5508:55, 1 August 2007 diff hist +2 m Mersenne prime →Theorems about Mersenne numbers: Spacing
• 08:4508:45, 1 August 2007 diff hist −5 m Massachusetts Institute of Technology No edit summary
• 08:4208:42, 1 August 2007 diff hist +1 Principia Mathematica →Quotation: Pluralize.
• 08:3508:35, 1 August 2007 diff hist +4 m Axiomatic set theory →Set theory (ZFC) foundations for mathematics: LaTeX adjustment
• 08:3108:31, 1 August 2007 diff hist +203 Projectively extended real line →Intervals and topology: LaTeX cleanup
• 07:2507:25, 1 August 2007 diff hist +77 Projectively extended real line →Algebraic properties: LaTeX cleanup
• 06:5806:58, 1 August 2007 diff hist +14 Projectively extended real line →Arithmetic operations which are defined: Align
• 06:5606:56, 1 August 2007 diff hist −2 m Projectively extended real line →Arithmetic operations which are left undefined
• 06:5606:56, 1 August 2007 diff hist +5 Projectively extended real line →Arithmetic operations which are left undefined: LaTeX cleanup
• 06:4706:47, 1 August 2007 diff hist −229 Projectively extended real line →Arithmetic operations which are defined: LaTeX cleanup
• 06:3206:32, 1 August 2007 diff hist −2 m Projectively extended real line No edit summary
• 05:5805:58, 1 August 2007 diff hist 0 m Emacs Lisp →External links: Gnu -> GNU

30 July 2007

• 18:0518:05, 30 July 2007 diff hist +3 m Emacs →Commands
• 18:0418:04, 30 July 2007 diff hist −3 m GNU Hurd →Core servers
• 18:0218:02, 30 July 2007 diff hist +2 m GNU Project →Philosophy and activism: Penned -> authored.
• 18:0218:02, 30 July 2007 diff hist +6 GNU Project →Philosophy and activism: Awkward wording.
• 17:5517:55, 30 July 2007 diff hist −16 Ubuntu →Package classification and support: Table cleanup.
• 17:5117:51, 30 July 2007 diff hist 0 User:Alpha Beta Epsilon Rearrange userboxes.
• 17:4817:48, 30 July 2007 diff hist 0 User:Alpha Beta Epsilon Rearrange userboxes.
• 17:4717:47, 30 July 2007 diff hist −34 User:Alpha Beta Epsilon Added more userboxes.
• 17:3717:37, 30 July 2007 diff hist +63 User:Alpha Beta Epsilon →Articles
• 17:3517:35, 30 July 2007 diff hist +127 Wikipedia:Userboxes/Grouping →Grouping userboxes: Cleaned up CSS and removed unnecessary background color.