Be bold when updating pages.—Back ups from older versions of each page are created automatically.

[RSS]

2021-10-24
[DIFF] 19:19 [INFO] mkoeppe
2021-10-23
[DIFF] 22:47 [INFO] mkoeppe [1-2] #01 mpir removal
#02 --with-system-gcc=fo rce
2021-10-04
[DIFF] 08:03 [INFO] chapoton [1-2] #01 oups
#02 +1
2021-09-29
[DIFF] 20:33 [INFO] soehms
[DIFF] 20:17 [INFO] soehms
[DIFF] 20:12 [INFO] soehms
[DIFF] 20:01 [INFO] soehms
2021-09-05
[DIFF] 22:59 [INFO] mkoeppe broken binary
2021-09-01
[DIFF] 18:11 [INFO] chapoton [1-3]
2021-08-26
[DIFF] 15:29 [INFO] chapoton refresh

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