Jump to content
Main menu
Main menu
move to sidebar
hide
Navigation
Main page
Contents
Current events
Random article
About Wikipedia
Contact us
Donate
Contribute
Help
Learn to edit
Community portal
Recent changes
Upload file
Languages
Search
Search
Create account
Log in
Personal tools
Create account
Log in
Pages for logged out editors
learn more
Contributions
Talk
Talk:Proof theory: Revision history
Help
Article
Talk
English
Read
Edit
Add topic
View history
Tools
Tools
move to sidebar
hide
Actions
Read
Edit
Add topic
View history
General
What links here
Related changes
Atom
Upload file
Special pages
Page information
Get shortened URL
Download QR code
View logs for this page
(
view filter log
)
Filter revisions
show
hide
To date:
Tag
filter:
2017 wikitext editor
Advanced mobile edit
Android app edit
AntiVandal
Articles for deletion template removed
Automatic insertion of extraneous formatting
AWB
Barnsworth [1.0]
blanking
Blanking
Bot in trial
bup 2 [1.0]
campaign-external-machine-translation
canned edit summary
categories removed
CD
changing height and/or weight
Citation bot [1.1.0]
Citation Bot [1.2.0]
citing a blog or free web host
COI template removed
condition limit reached
content model change
content sourced to vanity press
contentious topics alert
ContentTranslation
contenttranslation-needcheck
ContentTranslation2
ContentTranslation: High unmodified machine translation usage
Contest or editathon
copyright violation template removed
Correct typos in one click [1.0]
Correct typos in one click [1.1]
CropTool [1.2]
CropTool [1.4]
CropTool [1.5]
DAB Mechanic [1.0]
dashboard-testing.wikiedu.org [1.0]
dashboard-testing.wikiedu.org [2.0]
dashboard.wikiedu.org [1.0]
dashboard.wikiedu.org [1.2]
dashboard.wikiedu.org [2.0]
dashboard.wikiedu.org [2.2]
dashboard.wikiedu.org [2.3]
dashboard.wikiedu.org account-creation dev [1.0]
dashboard.wikiedu.org dev [0.4.11]
dashboard.wikiedu.org dev [0.4.2]
dashboard.wikiedu.org dev [0.4.3]
dashboard.wikiedu.org dev [0.4.4]
dashboard.wikiedu.org dev [0.4.5]
dashboard.wikiedu.org dev [0.4.7]
dashboard.wikiedu.org dev [0.4.8]
dashboard.wikiedu.org dev [0.4]
dashboard.wikiedu.org dev [2.0]
dashboard.wikiedu.org dev [2.1]
demo-oauthratelimiter-3 [1.0]
Deputy
DiBabel [1.2]
Disambiguation links added
disambiguation template removed
discussiontools (hidden tag)
discussiontools-added-comment (hidden tag)
discussiontools-source (hidden tag)
discussiontools-source-enhanced (hidden tag)
discussiontools-visual (hidden tag)
Dispenser [1.0]
Dispenser [2.4]
Downstream Pull [0.1]
draft or userpage link
Edit Check (references) activated
Edit Check (references) declined (uncertain)
editcheck-newcontent (hidden tag)
editcheck-newreference (hidden tag)
editcheck-references (hidden tag)
editProtectedHelper
Education Dashboard development - awight [1.0]
English Wikipedia Account Creation Assistance Tool [2.0]
External link added to disambiguation page
extraneous markup
featured article or good article template added or removed
Find link [1.0]
Fixed lint errors
Fountain [0.1.3]
Fountain Test [1.1]
gabinaluz+app@gmail.com [1.0]
harv-error
Huggle
IABot [1.0]
IABotManagementConsole (Personal Debug Consumer) [1.0]
IABotManagementConsole [1.1]
IABotManagementConsole [1.2]
IABotManagementConsole [1.3]
image template modification
Incorrectly formatted external link or image
iOS app edit
Jonathan_at_WINTR_7 [1.0]
KenBurnsEffect tool [1.1]
large non-free file
large plot addition
large unwikified new article
LCA Tools [1.0]
LCA Tools [1.5]
Localhost [1.0]
Manual revert
Mass pronoun change
MassMessage delivery
Medha_Bansal_intern_at_WikiEduDashboard [1.0]
mentor list change
Mentorship module question
Mentorship panel question
missing file added
missingredirectsproject [1.0]
Mobile app edit
Mobile edit
Mobile web edit
Modified by FileImporter
moveToDraft
MTC-Web for local dev/testing [1.0]
MTCWeb-Dev [1.0]
New redirect
New topic
new user modifying archives
new user moving page out of userspace
Newcomer task
Newcomer task: copyedit
Newcomer task: expand
Newcomer task: links
Newcomer task: references
Newcomer task: update
Non-autoconfirmed user rapidly reverting edits
non-English content
nowiki added
OAbot [1.0]
OAbot [2.1]
OAuth Uploader [1.0]
outreachdashboard.wmflabs.org [2.0]
outreachdashboard.wmflabs.org [2.1]
PageTriage
Parliament edits
PAWS [1.2]
PAWS [2.1]
paws [2.2]
possible autobiography or conflict of interest
possible birth or death date change
possible BLP issue or vandalism
possible conflict of interest
possible cut and paste move or recreation
possible MOS:ETHNICITY violation
Possible self promotion in user or draftspace
Possible self promotion in userspace
possible unreferenced addition to BLP
possible userspace spam
possible vandalism
possible WP:BLPCRIME issue
possibly inaccurate edit summary
ProveIt edit
QuickCategories [1.0]
QuickCategories [1.1]
Redirect target changed
reference list removal
references removed
removal of Category:Living People
Removed redirect
repeated addition of external links by non-autoconfirmed user
Replaced
Reply
Reverted
reverting anti-vandal bot
review edit
Rollback
RW
section blanking
self-renaming or bad user talk move
Shortdesc helper
shouting
Snuggle (English Wikipedia) [1.0.0]
speedy deletion template removed
STiki
Suggestor [0.0.1]
SWViewer [1.0]
SWViewer [1.2]
SWViewer [1.3]
SWViewer [1.4]
SWViewer [1.6]
Takedown Tools [1.0]
Talk banner shell conversion
talk page blanking
Text added at end of page
TorProxy [0.1]
TorProxy [0.2]
Twinkle
U.S. Congress edit
Ultraviolet
Uncategorized redirect
Undo
unsourced AFC submission
unusual redirect
use of deprecated (unreliable) source
use of predatory open access journal
User Analysis Tool [1.0]
very short new article
Visual edit
Visual edit: Check
Visual edit: Switched
Weekipedia v3 [1.0]
Weekipedia2 [1.0]
wiki-file-transfer [1.0]
wikieditor (hidden tag)
wikiedu Assignment Wizard 2.0 Teting [1.0]
wikiedu Assignment Wizard [1.0]
wikiedu.org Assignment Design Wizard (testing) [0.99]
wikiedu.org Assignment Design Wizard [1.0.1]
wikiedu.org Assignment Design Wizard [1.0.2]
WikiEduDashboard NTDB [1.2]
WikiEduDashboard NTDB3 [1.0]
WikiEduDashboard NTDB4 [1.0]
WikiEduDashboard NTDB5 [1.0]
WikiEduWizard NTDB [1.2]
Wikifile Transfer [1.0]
Wikifile Transfer [2.0]
Wikifile Transfer [4.0]
WikiLeaks
wikilinks removed
WikiLoop Battlefield
WikiLoop Battlefield Dev Local [2.0.0]
WikiLoop Battlefield on WMF Cloud VPS [1.0]
WikiLoop Battlefield Prod [2.2.1-beta]
WikiLoop DoubleCheck WMF Cloud VPS (2020-07-13 version) [4.1.0]
wikilove
WINTR Wikiedu Dashboard Local Test 3 [1.0]
WINTR Wikiedu Wizard Local Test [1.0]
WPCleaner
yabbr [1.3]
Invert selection
Show revisions
No matching revisions were found.
Toggle limited content width
