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

[RSS]

2013-05-21
[DIFF] SearchEngine 3m ago Info JendrikSeipp
2013-05-20
[DIFF] For Developers/Code Review 15:21 Info MalteHelmert
[DIFF] BadContent 15:21 Info Antispam subsystem
2013-05-17
[DIFF] PlannerUsage 15:28 Info MalteHelmert [1-2]
JendrikSeipp [3-4]
2013-04-30
[DIFF] Obtaining And Running Fast Downward 11:07 Info MalteHelmert Added notes on supported platforms (Linux, OS X, Windows).
2013-02-12
[DIFF] Heuristic Specification 11:01 Info MalteHelmert Removed reference to an option that doesn't exist any more.
2012-12-10
[DIFF] For Developers/Mercurial 14:48 Info MalteHelmert Fixed broken link.
2012-11-14
[DIFF] HomePage 14:24 Info MoritzGronbach updated mailing list link

[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.