Page history
Talk:Proof
11 August 2021
rosettacode>Gerard Schildberger
changed the name of the 1st section header.
m+3
rosettacode>Gerard Schildberger
added a section header to the 1<sup>st</sup> discussion topic to properly position the TOC.
+33
7 June 2012
Rdm
→Scope of Task
−20
Rdm
→Scope of Task
mRdm
→Scope of Task
+260
Rdm
→Scope of Task
+1,715
rosettacode>Ht
no edit summary
m−30
rosettacode>Ht
no edit summary
+2,061
6 June 2012
5 June 2012
rosettacode>Ht
no edit summary
+1,094
Rdm
→Satisfaction
m+16
Rdm
→Satisfaction
+238
rosettacode>Ht
no edit summary
+235
rosettacode>Ht
no edit summary
+111
rosettacode>Ht
no edit summary
+308
Rdm
→Satisfaction
+2,129
rosettacode>Ht
no edit summary
+266
1 June 2012
Rdm
→Satisfaction
+529
rosettacode>Ht
no edit summary
+422
Rdm
→Satisfaction
+543
rosettacode>Ht
no edit summary
m+2
rosettacode>Ht
no edit summary
+1,428
31 May 2012
30 May 2012
28 May 2012
Rdm
narrow the scope of my objections to this task
−342
Rdm
removed "J version" section, since that version is no longer on the page.
−13,951
15 May 2012
14 May 2012
rosettacode>Ruud Koot
→Deletion of statement about finite limits from task: gr.
m−1
rosettacode>Ht
no edit summary
+3
rosettacode>Ht
no edit summary
+483
rosettacode>Ruud Koot
→Deletion of statement about finite limits from task: sign
m+35
rosettacode>Ruud Koot
→Deletion of statement about finite limits from task: re
+225
rosettacode>Ruud Koot
→Deletion of statement about finite limits from task: re
+250
Rdm
→Deletion of statement about finite limits from task
+626
rosettacode>Ruud Koot
move re
mRdm
refactor comments
+138
rosettacode>Ruud Koot
→Quantifiers: re
+378
rosettacode>Ruud Koot
→Quantifiers: re
+277
rosettacode>Ht
no edit summary
+700
Rdm
→Quantifiers
m+33
Rdm
→Quantifiers
+570
rosettacode>Ht
no edit summary
−8
rosettacode>Ht
no edit summary
+1,829
rosettacode>Ruud Koot
→Quantifiers: indent
m−14
rosettacode>Ruud Koot
→Quantifiers: move re
m−8
rosettacode>Ruud Koot
→Quantifiers: re
+1,711
Rdm
clean up phrasing and tighten description
+511