Pages that have not been edited for longer than all other pages (and thus a listing of the oldest entries in the editlog).

07-12-2007
[DIFF] Tutorials 20:37 Info localhost converted to 1.6 markup
[DIFF] Help For Cocorico!/Colorized Coq Syntax 20:37 Info localhost converted to 1.6 markup
[DIFF] Props Guarding Iota Reduction 20:37 Info localhost converted to 1.6 markup
[DIFF] Documentation 20:37 Info localhost converted to 1.6 markup
[DIFF] CoqNewbie 20:37 Info localhost converted to 1.6 markup
[DIFF] TheSource 20:37 Info localhost converted to 1.6 markup
[DIFF] LtacPearls 20:37 Info localhost converted to 1.6 markup
[DIFF] Intensional Equality 20:37 Info localhost converted to 1.6 markup
[DIFF] CoRN 20:37 Info localhost converted to 1.6 markup
[DIFF] NotFinitePrimes 20:37 Info localhost converted to 1.6 markup
[DIFF] Dependent Inversion 20:37 Info localhost converted to 1.6 markup
[DIFF] Cocorico!Logo 20:37 Info localhost converted to 1.6 markup
[DIFF] Help For Cocorico!/Colorized OCaml Syntax 20:37 Info localhost converted to 1.6 markup
[DIFF] AboutCocorico! 20:37 Info localhost converted to 1.6 markup
[DIFF] CoqIDE 20:37 Info localhost converted to 1.6 markup
[DIFF] GenericTactics 20:37 Info localhost converted to 1.6 markup
[DIFF] Specialized Documentation 20:37 Info localhost converted to 1.6 markup
[DIFF] Eqdep_dec_Type 20:37 Info localhost converted to 1.6 markup
[DIFF] Fixpoint Finite Types 20:37 Info localhost converted to 1.6 markup
[DIFF] PageD'Accueil 20:37 Info localhost converted to 1.6 markup
[DIFF] Module System Tutorial 20:37 Info localhost converted to 1.6 markup
[DIFF] List Of Predecessors 20:37 Info localhost converted to 1.6 markup
[DIFF] Top100 Mathematical Theorems 20:37 Info localhost converted to 1.6 markup
[DIFF] CoqSource 20:37 Info localhost converted to 1.6 markup
[DIFF] Cocorico! 20:37 Info localhost converted to 1.6 markup
[DIFF] Coq IDE_crashes_under_KDE 20:37 Info localhost converted to 1.6 markup
[DIFF] Clean Duplicated Hypothesis 20:37 Info localhost converted to 1.6 markup
[DIFF] Cocorico Front Page 20:37 Info localhost converted to 1.6 markup
[DIFF] DimitriHendriks 20:37 Info localhost converted to 1.6 markup
[DIFF] Help On User Handling 20:37 Info localhost converted to 1.6 markup
[DIFF] InTac 20:37 Info localhost converted to 1.6 markup
[DIFF] FalseEqAcc 20:37 Info localhost converted to 1.6 markup
[DIFF] MiladNiqui 20:37 Info localhost converted to 1.6 markup
[DIFF] Require_Import_and_Require_Export 20:37 Info localhost converted to 1.6 markup
[DIFF] Inductive Finite Types 20:37 Info localhost converted to 1.6 markup
[DIFF] RingTactics 20:37 Info localhost converted to 1.6 markup
[DIFF] Cocorico!Wiki License 20:37 Info localhost converted to 1.6 markup
[DIFF] extensional_equality 20:37 Info localhost converted to 1.6 markup
[DIFF] RecentChanges 20:37 Info localhost converted to 1.6 markup
[DIFF] CoqStyle 20:37 Info localhost converted to 1.6 markup
[DIFF] User Preferences#preview 20:37 Info localhost converted to 1.6 markup
[DIFF] CoqIde 20:37 Info localhost converted to 1.6 markup
[DIFF] Lagranges Theorem 20:37 Info localhost converted to 1.6 markup
[DIFF] JudicaelCourant 20:37 Info localhost converted to 1.6 markup
[DIFF] Help For Cocorico!/Colorized Other Languages 20:37 Info localhost converted to 1.6 markup
[DIFF] List Comprehension Notation 20:37 Info localhost converted to 1.6 markup
[DIFF] SquareRootTwo 20:37 Info localhost converted to 1.6 markup
[DIFF] Discussion_on_content_and_structure_of_Cocorico! 20:37 Info localhost converted to 1.6 markup
[DIFF] JeanMarcNotin 21:34 Info JeanMarcNotin
10-12-2007
[DIFF] Help For Cocorico!/Adding Math Via Latex 12:09 Info MiladNiqui latex2 -> latex
11-12-2007
[DIFF] MetaCocorico! 18:44 Info MiladNiqui uppercase variable
20-02-2008
[DIFF] Exists From Prop To Set 16:25 Info mail45
16-03-2008
[DIFF] Frequently Asked Questions 09:15 Info Mfbd8
23-03-2008
[DIFF] CoqPearls 12:27 Info HugoHerbelin
[DIFF] Excluded Middle On Negative Formulas From Coq Real Axioms 12:49 Info HugoHerbelin
10-05-2008
[DIFF] Case (tactic) 23:59 Info JeffVaughan
Cocorico!WikiLicense