Changes related to "Main Page"

From Wikiproofs

Recent changes options

Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide minor edits | Show bots | Hide anonymous users | Hide logged-in users | Hide my edits
Show new changes starting from 23:23, 4 September 2010

---

Namespace:	all (Main) Talk User User talk Wikiproofs Wikiproofs talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Interface Interface talk User module User module talk User interface User interface talk  Invert selection
Page name:	Show changes to pages linked to the given page instead

2 September 2010

• (diff) (hist) . . m Wikiproofs:Tearoom‎; 08:08 . . (-42) . . GrafZahl (Talk | contribs) (Reverted edits by 122.159.46.157 (Talk) to last revision by GrafZahl)
• (diff) (hist) . . Wikiproofs:Tearoom‎; 04:49 . . (+42) . . 122.159.46.157 (Talk) (→Privates Girls: new section)
• (diff) (hist) . . Interface:Classical propositional calculus‎; 03:36 . . (+127) . . Kingdon (Talk | contribs) (add buildConjunctionLLInConsequent)

1 September 2010

• (diff) (hist) . . Wikiproofs:About‎; 03:23 . . (+611) . . Kingdon (Talk | contribs) (add section "Proofs live in wiki pages")

31 August 2010

• (diff) (hist) . . m Help:Tutorial‎; 15:44 . . (-1) . . GrafZahl (Talk | contribs) (typo)

30 August 2010

• (diff) (hist) . . Interface:Classical propositional calculus‎; 19:02 . . (+153) . . Kingdon (Talk | contribs) (add buildConjunctionInConsequent)
• (diff) (hist) . . Interface:Classical propositional calculus‎; 17:40 . . (+405) . . Kingdon (Talk | contribs) (add transformDisjunctionRight, swap23ofDisjunction4, swap23ofDisjunction3)

29 August 2010

• (diff) (hist) . . m Wikiproofs:Tearoom‎; 08:45 . . (+8,274) . . GrafZahl (Talk | contribs) (Reverted edits by 158.42.125.148 (Talk) to last revision by Kingdon)

28 August 2010

• (diff) (hist) . . Wikiproofs:Tearoom‎; 13:13 . . (-8,274) . . 158.42.125.148 (Talk) (→Abstract versus Concrete Syntax: )