All public logs
Jump to navigation
Jump to search
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).
- 03:32, 3 April 2010 Jon Awbrey talk contribs uploaded a new version of File:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png
- 19:20, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 2.0 Animation.gif
- 19:12, 2 April 2010 Jon Awbrey talk contribs uploaded a new version of File:Equational Inference Rule Cancel (( )).png
- 19:12, 2 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Reflect ad(bc).png
- 19:10, 2 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Weed a, d.png
- 19:10, 2 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Reflect b, c.png
- 19:10, 2 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Weed bc.png
- 19:10, 2 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Quit abcd.png
- 19:07, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 7.png
- 19:06, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 6.png
- 19:05, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 5.png
- 19:04, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 4.png
- 19:03, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 3.png
- 19:02, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 2.png
- 19:01, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 1.png
- 19:00, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Marquee Title.png
- 19:00, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Splash Page.png
- 13:30, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 2.0 Frame 4.png
- 13:30, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 2.0 Animation.gif
- 13:30, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 2.0 Frame 1.png
- 13:30, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 2.0 Frame 2.png
- 13:30, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 2.0 Frame 3.png
- 13:28, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 1.0 Storyboard 1.png
- 13:28, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 1.0 Storyboard 2.png
- 13:28, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 1.0 Storyboard 3.png
- 13:28, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 1.0 Storyboard 4.png
- 13:25, 1 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Quit ((q)).png
- 13:25, 1 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Cancel (( )).png
- 13:25, 1 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Collect p.png
- 13:24, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 1.0 Marquee Title.png
- 12:50, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 1.0 Splash Page.png
- 18:54, 31 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 2.0 Animation.gif
- 20:36, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Weed ab, ac, bc.png
- 20:36, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Delete a, b, c.png
- 20:35, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Reflect ab, ac, bc.png
- 20:35, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Distribute (abc).png
- 20:35, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Collect ab, ac, bc.png
- 20:35, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Quit (a), (b), (c).png
- 20:35, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Cancel (( )).png
- 20:33, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 6.png
- 20:33, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 7.png
- 20:33, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 8.png
- 20:33, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 9.png
- 20:32, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png
- 20:31, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 2.png
- 20:31, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 3.png
- 20:31, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 4.png
- 20:31, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 5.png
- 20:31, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 1.png
- 20:24, 30 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 1.0 Storyboard 6.png