aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-08-18code cleaning. No changes as far as tested.coq
2005-08-17majcoq
2005-08-17majcoq
2005-08-17new congruencecorbinea
2005-08-16majcoq
2005-08-15majcoq
2005-08-14majcoq
2005-08-13majcoq
2005-08-12majcoq
2005-08-11majcoq
2005-08-10majcoq
2005-08-09majcoq
2005-08-08majcoq
2005-08-07majcoq
2005-08-06majcoq
2005-08-05majcoq
2005-08-04majcoq
2005-08-03majcoq
2005-08-02majcoq
2005-08-02majcoq
2005-08-02majcoq
2005-08-02majcoq
2005-08-02majcoq
2005-08-01Procédure d'ajout d'une nouvelle contributions utilisateurherbelin
2005-07-25Add two .bat scripts to run coq and coqide under windows without changing aut...narboux
2005-07-25rename INSTALL.win INSTALL.txt to ease openingnarboux
2005-07-24majcoq
2005-07-23majcoq
2005-07-22majcoq
2005-07-21majcoq
2005-07-21Utilisation de la non-équivalence d'inductifs pour le case_info (cf message ...herbelin
2005-07-20majcoq
2005-07-18majcoq
2005-07-17majcoq
2005-07-16majcoq
2005-07-15majcoq
2005-07-15majcoq
2005-07-15Subtac: traitement correct des existentielles et de la récursion.coq
2005-07-15Add some debug printing functions.coq
2005-07-15Fix sumbool_not hint (on behalf of cpaulin).coq
2005-07-15add a left and right tactic for classical logicnarboux
2005-07-15reflexive tautocorbinea
2005-07-15improves shadows in the main windownarboux
2005-07-15foldherbelin
2005-07-14majcoq
2005-07-14majcoq
2005-07-13majcoq
2005-07-13majcoq
2005-07-13Détection d'un Fold incorrect suite à correction bug #986herbelin
2005-07-13majcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 04:00:15 +0000