[RSS]

25-05-2017
[DIFF] 12:37 Info Théo Zimmermann
22-05-2017
[DIFF] 17:22 Info Maxime Dénès [1]
Maxime Dénès [2]
Maxime Dénès [3]
21-05-2017
[DIFF] 00:37 Info SherlynFoc
15-05-2017
[DIFF] 10:10 Info nat5 CoqWG20170306
10-05-2017
[DELETED] 10:20 Info HugoHerbelin [1-2] #01 Renommer en PortingToCoqV8.7
[DIFF] 10:19 Info HugoHerbelin
07-05-2017
[DIFF] 22:10 Info HugoHerbelin
20-04-2017
[DIFF] 21:34 Info MatejKosik

[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

/!\

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


This page contains a list of recent changes in this wiki. More system information on SystemInfo.

Cocorico: RecentChanges (last edited 07-12-2007 20:37:51 by localhost)

Cocorico!WikiLicense