Use WikiNames instead of URLs when linking to a page within the wiki.

[RSS]

2015-08-27
[DIFF] 09:35 Info chapoton [1-4]
2015-08-21
[DIFF] 17:37 Info was
2015-08-19
[DIFF] 19:20 Info schilly [1-2]
2015-08-17
[DIFF] 17:49 Info rbeezer [1-2]
2015-08-10
[DIFF] 12:10 Info vdelecroix
2015-08-05
[DIFF] 17:42 Info jdemeyer
2015-08-04
[DIFF] 14:06 Info tmonteil [1-2]

[DIFF]

marks older pages that have at least one backup version stored (click for an author diff)

[UPDATED]

marks pages edited since you set your bookmark (click for a bookmark diff)

[NEW]

marks pages created since you set your bookmark, and were not edited after creation

[DELETED]

marks page deletions

[RENAMED]

marks page renames

[CONFLICT]

An editing conflict happened, please resolve it by merging both versions of the problematic paragraphs together.