User contributions for Jon Awbrey
Jump to navigation
Jump to search
24 October 2013
- 14:3614:36, 24 October 2013 diff hist −451 User:Jon Awbrey update current
3 October 2013
- 03:4003:40, 3 October 2013 diff hist +191 User:Jon Awbrey update
1 August 2013
- 02:1602:16, 1 August 2013 diff hist +568 User:Jon Awbrey update
21 July 2010
- 03:2803:28, 21 July 2010 diff hist +42 Praeclarum Theorema →Sources: sub [link to webarchive page with working copy / link to page with busted animation]
1 April 2010
- 13:2213:22, 1 April 2010 diff hist +977 Peirce's Law →Proof by Logical Graphs: break up monolithic storyboard & add animation
- 12:4012:40, 1 April 2010 diff hist +13 Peirce's Law →Strong Form of Peirce's Law: JPEG → PNG
31 March 2010
- 19:0319:03, 31 March 2010 diff hist +1,150 Peirce's Law →Proof by Logical Graphs: JPEG ---> PNG + animation
- 19:0019:00, 31 March 2010 diff hist −46 Peirce's Law JPEG ---> PNG
22 January 2010
- 15:4015:40, 22 January 2010 diff hist +72 User:Jon Awbrey →Presently …: R&R
7 January 2010
- 21:0821:08, 7 January 2010 diff hist +85 User:Jon Awbrey update
27 August 2009
- 14:5014:50, 27 August 2009 diff hist +201 Talk:Main Page →Rendering
26 August 2009
- 20:2420:24, 26 August 2009 diff hist −49 Definition:Minimal Negation Operator trim
- 12:2812:28, 26 August 2009 diff hist +223 Definition:Minimal Negation Operator fuzzy grey bullets hurt my eyes
- 01:3201:32, 26 August 2009 diff hist +17 Definition:Minimal Negation Operator No edit summary
25 August 2009
- 21:4021:40, 25 August 2009 diff hist +100 Definition:Minimal Negation Operator re*write
- 18:1118:11, 25 August 2009 diff hist −3 Definition:Minimal Negation Operator formats
24 August 2009
- 19:4519:45, 24 August 2009 diff hist +1,217 Definition:Minimal Negation Operator expand discussion of linear properties
- 13:0213:02, 24 August 2009 diff hist +464 Definition:Minimal Negation Operator motivate alternate names
- 12:2812:28, 24 August 2009 diff hist −34 Definition:Minimal Negation Operator go back to plain typefaces ( \mathbf and \texttt look too much alike)
- 12:2412:24, 24 August 2009 diff hist +453 Definition:Minimal Negation Operator motivation
- 11:5411:54, 24 August 2009 diff hist +25 Definition:Minimal Negation Operator de-awk
- 11:4611:46, 24 August 2009 diff hist +95 Definition:Minimal Negation Operator try to eliminate a potential ambiguity
- 01:1001:10, 24 August 2009 diff hist +23 Definition:Minimal Negation Operator No edit summary
- 01:0901:09, 24 August 2009 diff hist +776 Definition:Minimal Negation Operator lemma see ...
23 August 2009
- 22:1022:10, 23 August 2009 diff hist −331 Definition:Minimal Negation Operator delete some potentially confusing stuff about alternate names until i can rewrite it
- 22:0622:06, 23 August 2009 diff hist −61 Definition:Minimal Negation Operator use explicit indices for clarity on first use
- 17:1817:18, 23 August 2009 diff hist 0 Definition:Minimal Negation Operator sub [may/can]
- 17:1017:10, 23 August 2009 diff hist −118 Definition:Minimal Negation Operator →Charts and graphs: typos & typography
- 17:0017:00, 23 August 2009 diff hist +124 Definition:Minimal Negation Operator revise typographical conventions (partly for the sake of edit window readability)
- 16:1016:10, 23 August 2009 diff hist −56 Definition:Minimal Negation Operator →Truth tables: del column width specs
- 02:4502:45, 23 August 2009 diff hist −422 Definition:Minimal Negation Operator →Truth tables: cleaner-looking table
22 August 2009
- 17:0217:02, 22 August 2009 diff hist 0 Definition:Minimal Negation Operator →Charts and graphs: typo
- 16:5416:54, 22 August 2009 diff hist +2,670 Definition:Minimal Negation Operator add section on visual reps
- 16:4116:41, 22 August 2009 diff hist 0 N File:Venn Diagram ((P),(Q),(R)).jpg No edit summary current
- 16:4016:40, 22 August 2009 diff hist 0 N File:Venn Diagram (P,Q,R).jpg No edit summary current
- 15:4415:44, 22 August 2009 diff hist +155 Definition:Minimal Negation Operator try using "teletype face" \texttt for logical ops
- 15:2815:28, 22 August 2009 diff hist +116 Definition:Minimal Negation Operator reset display
- 15:1015:10, 22 August 2009 diff hist +10 Definition:Minimal Negation Operator runs off the page in my browser ---> try "smallmatrix" option
- 15:0315:03, 22 August 2009 diff hist +23 Definition:Minimal Negation Operator →Truth tables: restore def link
- 15:0015:00, 22 August 2009 diff hist +535 Definition:Minimal Negation Operator →Truth tables: redo table
- 02:4802:48, 22 August 2009 diff hist +43 Symbols:Symbolic Logic try "definition list" format
- 02:4002:40, 22 August 2009 diff hist +348 Symbols:Symbolic Logic →"And": and ampersand
21 August 2009
- 20:5620:56, 21 August 2009 diff hist +52 Peirce's Law →History: restore internal link
- 20:5220:52, 21 August 2009 diff hist +193 Peirce's Law →History: finally figured out how to write Peirce's chicken scratch symbol in LaTeX
- 18:4018:40, 21 August 2009 diff hist +343 User:Jon Awbrey what i did this summer ...
3 April 2009
- 03:2803:28, 3 April 2009 diff hist +695 User:Jon Awbrey update
6 November 2008
- 03:0403:04, 6 November 2008 diff hist +139 User:Jon Awbrey update
26 October 2008
- 16:2816:28, 26 October 2008 diff hist −1 Peirce's Law →Proof 1: punctuation
- 14:4014:40, 26 October 2008 diff hist −4 Peirce's Law →Strong Form of Peirce's Law
25 October 2008
- 20:2020:20, 25 October 2008 diff hist 0 Peirce's Law →Proof 2: typo