aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Incompatibilité entre la prise en compte des univers au niveau des tactiques...Gravatar herbelin2001-10-10
* Suppression des arguments sur les constantes, inductifs et constructeursGravatar barras2001-10-09
* Petit oubli à propos de ThinBodyGravatar herbelin2001-10-05
* Nouvelle tactique primitive ThinBody et nouvelles tactiques utilisateurs 'Cle...Gravatar herbelin2001-10-05
* un echo de débogage superfluGravatar herbelin2001-10-05
* Test de dépendances de ClearBodyGravatar herbelin2001-10-05
* Bug de synthèse du prédicat en présence d'arguments non filtrable; correct...Gravatar herbelin2001-10-03
* Bug d'affichage du prédicat, bug d'affichage des clauses en présence de dé...Gravatar herbelin2001-10-03
* Bugs de vérification de la bonne fondation en présence de définitions loca...Gravatar herbelin2001-10-03
* coqtop includes itself the needed pathsGravatar herbelin2001-10-03
* MAJ docGravatar herbelin2001-10-03
* Correction messages d'erreurGravatar herbelin2001-10-03
* Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)Gravatar herbelin2001-10-03
* Tests de Cases avec définitions localesGravatar herbelin2001-10-03
* Ajout de dynamiques pour les quotations constr et tacticGravatar delahaye2001-10-02
* Encapsulage des '<' et '>' pour éviter le regroupement '«'Gravatar herbelin2001-10-02
* correction de deux petits bugs: case_identité trop fort et Anomaly dans le t...Gravatar letouzey2001-10-01
* Incompatibilite camlp4 -pp et windows resolu a partir de camlp4 3.01.6Gravatar herbelin2001-10-01
* Il faut camlp4 > 3.01.6 pour windowsGravatar herbelin2001-10-01
* Tests noms longs de modulesGravatar herbelin2001-10-01
* Doc de Ltac, Field et AutoRewrite -> FAITGravatar delahaye2001-09-30
* Ajout du printer de tactiques + modif du Dynamic ocamlGravatar delahaye2001-09-30
* Ultime UltimeGravatar herbelin2001-09-27
* Ajout INSTALL.winGravatar herbelin2001-09-27
* Simplification de deux preuves. En outre ca simplifie leur extraction.Gravatar letouzey2001-09-27
* and_rec redondantGravatar letouzey2001-09-27
* MAJ V7.1Gravatar herbelin2001-09-26
* Ultime MAJGravatar herbelin2001-09-26
* tools pas fait automatiquementGravatar herbelin2001-09-26
* Compatibilite Windoz/cygwinGravatar herbelin2001-09-26
* Compatibilite WindowsGravatar herbelin2001-09-26
* MAJ contribGravatar herbelin2001-09-26
* Hack pour ajuster les chemins a la mode cygwinGravatar herbelin2001-09-26
* Compatibilite WindozGravatar herbelin2001-09-26
* Protection contre erreurs UnixGravatar herbelin2001-09-26
* Le fichier .vo etait ecrit dans un mauvais repertoire si ce dernier etait tro...Gravatar herbelin2001-09-26
* *** empty log message ***Gravatar barras2001-09-25
* ajout d'un fichier test pour setoidesGravatar clrenard2001-09-25
* Qqes oublisGravatar herbelin2001-09-25
* Ajout d'un résumé des modificationsGravatar herbelin2001-09-25
* Nouvel emplacement pour coq.specGravatar herbelin2001-09-25
* correctiontypo SETOIDSVOGravatar werner2001-09-25
* MAJ V7.1Gravatar herbelin2001-09-25
* Mise en pageGravatar herbelin2001-09-25
* Mise en pageGravatar herbelin2001-09-25
* MAJGravatar herbelin2001-09-25
* Orthographe ?Gravatar herbelin2001-09-24
* Changement du message d'erreur pour l'interpreteur de tactiquesGravatar delahaye2001-09-24
* Commentaires pour make docGravatar herbelin2001-09-24
* One more boolean test bugGravatar herbelin2001-09-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 01:51:04 +0000