User contributions

From ProofWiki

Search for contributions

 Show contributions of new accounts only
 IP Address or username: Namespace: all (Main) Talk User User talk ProofWiki ProofWiki talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Axiom Axiom talk Definition Definition talk Symbols Symbols talk

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)

• 15:40, 22 January 2010 (hist) (diff) User:Jon Awbrey ‎ (→Presently …: R&R) (top)
• 21:08, 7 January 2010 (hist) (diff) User:Jon Awbrey ‎ (update)
• 14:50, 27 August 2009 (hist) (diff) Talk:Main Page ‎ (→Rendering)
• 20:24, 26 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (trim)
• 12:28, 26 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (fuzzy grey bullets hurt my eyes)
• 01:32, 26 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎
• 21:40, 25 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (re*write)
• 18:11, 25 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (formats)
• 12:24, 25 August 2009 (hist) (diff) Definition talk:Minimal Negation Operator ‎ (→Plus vs. Oplus)
• 12:15, 25 August 2009 (hist) (diff) Definition talk:Minimal Negation Operator ‎ (→Plus vs. Oplus)
• 12:14, 25 August 2009 (hist) (diff) Definition talk:Minimal Negation Operator ‎ (→Plus vs. Oplus)
• 12:00, 25 August 2009 (hist) (diff) Definition talk:Minimal Negation Operator ‎ (StarOffice Draw)
• 11:58, 25 August 2009 (hist) (diff) Definition talk:Minimal Negation Operator ‎ (StarOffice Draw)
• 19:45, 24 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (expand discussion of linear properties)
• 13:02, 24 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (motivate alternate names)
• 12:28, 24 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (go back to plain typefaces ( \mathbf and \texttt look too much alike))
• 12:24, 24 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (motivation)
• 11:54, 24 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (de-awk)
• 11:46, 24 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (try to eliminate a potential ambiguity)
• 01:10, 24 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎
• 01:09, 24 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (lemma see ...)
• 22:10, 23 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (delete some potentially confusing stuff about alternate names until i can rewrite it)
• 22:06, 23 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (use explicit indices for clarity on first use)
• 21:56, 23 August 2009 (hist) (diff) Definition talk:Minimal Negation Operator ‎ (make a section for working on the exposition)
• 21:50, 23 August 2009 (hist) (diff) Definition talk:Minimal Negation Operator ‎
• 20:04, 23 August 2009 (hist) (diff) Definition talk:Minimal Negation Operator ‎
• 20:00, 23 August 2009 (hist) (diff) Definition talk:Minimal Negation Operator ‎
• 18:30, 23 August 2009 (hist) (diff) Definition talk:Minimal Negation Operator ‎
• 18:28, 23 August 2009 (hist) (diff) Definition talk:Minimal Negation Operator ‎ (reply)
• 17:18, 23 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (sub [may/can])
• 17:10, 23 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (→Charts and graphs: typos & typography)
• 17:00, 23 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (revise typographical conventions (partly for the sake of edit window readability))
• 16:10, 23 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (→Truth tables: del column width specs)
• 03:08, 23 August 2009 (hist) (diff) Definition talk:Minimal Negation Operator ‎ (historical note)
• 02:54, 23 August 2009 (hist) (diff) Definition talk:Minimal Negation Operator ‎ (reply)
• 02:45, 23 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (→Truth tables: cleaner-looking table)
• 17:02, 22 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (→Charts and graphs: typo)
• 16:54, 22 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (add section on visual reps)
• 16:41, 22 August 2009 (hist) (diff) N File:Venn Diagram ((P),(Q),(R)).jpg ‎ (top)
• 16:40, 22 August 2009 (hist) (diff) N File:Venn Diagram (P,Q,R).jpg ‎ (top)
• 15:44, 22 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (try using "teletype face" \texttt for logical ops)
• 15:28, 22 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (reset display)
• 15:10, 22 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (runs off the page in my browser ---> try "smallmatrix" option)
• 15:03, 22 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (→Truth tables: restore def link)
• 15:00, 22 August 2009 (hist) (diff) Definition:Minimal Negation Operator ‎ (→Truth tables: redo table)
• 02:48, 22 August 2009 (hist) (diff) Symbols:Logical Operators ‎ (try "definition list" format)
• 02:40, 22 August 2009 (hist) (diff) Symbols:Logical Operators ‎ (→"And": and ampersand)
• 02:18, 22 August 2009 (hist) (diff) Definition:Logical Graph ‎ (→Related articles: oops)
• 02:16, 22 August 2009 (hist) (diff) Definition:Logical Graph ‎ (→Related articles: sidestep redirect)
• 02:14, 22 August 2009 (hist) (diff) Definition:Logical Graph ‎ (→Related articles: + 2 items)

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)