RecentChanges - Cocorico!

14-05-2012
	AUGER_Enumerates	13:58	AUGER [1-3]	`#03` Page creation
	AUGER	13:56	AUGER [1-2]
	OtherContents	13:51	AUGER
18-04-2012
	Coq Development/CRGTCoq20120119	00:15	HugoHerbelin [1-3]	`#01` More on minutes `#02` Minutes (continued) `#03` Minutes
11-04-2012
	CoqAndAxioms	17:45	ArthurCharguéraud
	Configuration of Proof General	16:53	ArthurCharguéraud
	Other Coq Resources	16:52	ArthurCharguéraud	migrated tips
	Help For Cocorico!	16:46	ArthurCharguéraud [1-2]
	Contents	16:44	ArthurCharguéraud [1-2]	`#01` added official links `#02` updated front page
	EditingCocorico	16:25	ArthurCharguéraud
	TheoryBehindCoq	16:18	ArthurCharguéraud
	OldFront	15:09	ArthurCharguéraud	Backup main page
06-03-2012
	Unfold Fixpoint Once	15:09	StephaneGlondu
	evar_match	14:25	StephaneGlondu [1-2]
21-02-2012
	Installation of Coq on Linux	14:16	ArthurCharguéraud [1,3-7] oumix [2]
	Configuration of Coq IDE	12:37	ArthurCharguéraud [1-4]	`#02` Upload of attachment '.coqide.keys'. `#03` Upload of attachment 'coqide.keys'.
	Installation of Coq on Windows	11:18	ArthurCharguéraud
	Installation of Coq	11:02	ArthurCharguéraud
	Building Coq On Mac	10:55	ArthurCharguéraud
02-02-2012
	AUGER_Extraction Tuto	12:11	AUGER
	CoqIDEWishes	12:03	AUGER
	Extraction	11:26	AUGER
01-02-2012
	Equality Free Inversion	00:34	DanielSchepler

	marks older pages that have at least one backup version stored (click for an author diff)
	marks pages edited since you set your bookmark (click for a bookmark diff)
	marks pages created since you set your bookmark, and were not edited after creation
	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.