All public logs
Combined display of all available logs of ProofWiki.
You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 23:32, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded a new version of "File:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png"
- 15:20, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Praeclarum Theorema 2.0 Animation.gif"
- 15:12, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded a new version of "File:Equational Inference Rule Cancel (( )).png"
- 15:12, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Rule Reflect ad(bc).png"
- 15:10, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Rule Quit abcd.png"
- 15:10, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Rule Weed bc.png"
- 15:10, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Rule Reflect b, c.png"
- 15:10, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Rule Weed a, d.png"
- 15:07, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Praeclarum Theorema 1.0 Storyboard 7.png"
- 15:06, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Praeclarum Theorema 1.0 Storyboard 6.png"
- 15:05, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Praeclarum Theorema 1.0 Storyboard 5.png"
- 15:04, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Praeclarum Theorema 1.0 Storyboard 4.png"
- 15:03, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Praeclarum Theorema 1.0 Storyboard 3.png"
- 15:02, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Praeclarum Theorema 1.0 Storyboard 2.png"
- 15:01, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Praeclarum Theorema 1.0 Storyboard 1.png"
- 15:00, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Praeclarum Theorema 1.0 Marquee Title.png"
- 15:00, 2 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Praeclarum Theorema 1.0 Splash Page.png"
- 09:30, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Peirce's Law Strong Form 2.0 Animation.gif"
- 09:30, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Peirce's Law Strong Form 2.0 Frame 4.png"
- 09:30, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Peirce's Law Strong Form 2.0 Frame 3.png"
- 09:30, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Peirce's Law Strong Form 2.0 Frame 2.png"
- 09:30, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Peirce's Law Strong Form 2.0 Frame 1.png"
- 09:28, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Peirce's Law Strong Form 1.0 Storyboard 4.png"
- 09:28, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Peirce's Law Strong Form 1.0 Storyboard 3.png"
- 09:28, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Peirce's Law Strong Form 1.0 Storyboard 2.png"
- 09:28, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Peirce's Law Strong Form 1.0 Storyboard 1.png"
- 09:25, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Rule Cancel (( )).png"
- 09:25, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Rule Quit ((q)).png"
- 09:25, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Rule Collect p.png"
- 09:24, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Peirce's Law Strong Form 1.0 Marquee Title.png"
- 08:50, 1 April 2010 Jon Awbrey (Talk | contribs) uploaded "File:Peirce's Law Strong Form 1.0 Splash Page.png"
- 14:54, 31 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Peirce's Law 2.0 Animation.gif"
- 16:36, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Bar Delete a, b, c.png"
- 16:36, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Bar Weed ab, ac, bc.png"
- 16:35, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Bar Cancel (( )).png"
- 16:35, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Bar Quit (a), (b), (c).png"
- 16:35, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Bar Collect ab, ac, bc.png"
- 16:35, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Bar Distribute (abc).png"
- 16:35, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Equational Inference Bar Reflect ab, ac, bc.png"
- 16:33, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 9.png"
- 16:33, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 8.png"
- 16:33, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 7.png"
- 16:33, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 6.png"
- 16:32, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png"
- 16:31, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 5.png"
- 16:31, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 4.png"
- 16:31, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 3.png"
- 16:31, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 2.png"
- 16:31, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 1.png"
- 16:24, 30 March 2010 Jon Awbrey (Talk | contribs) uploaded "File:Peirce's Law 1.0 Storyboard 6.png"
).png){kind=link}
.png){kind=link}
).png){kind=link}
).png){kind=link}
,_(b),_(c).png){kind=link}
.png){kind=link}
