aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Hint Unfold Local + commentairesGravatar mohring2000-12-12
* Ajout de testsGravatar mohring2000-12-12
* petit bug -byte/-opt (execv -> execvp) et message coercion teste is_silentGravatar filliatr2000-12-12
* Reparation Intro sans nom qui ne reduisait pas le but quand celui-ciGravatar mohring2000-12-12
* numarg -> pure_numarg a poursuivreGravatar mohring2000-12-11
* Debut de reparation de simplGravatar mohring2000-12-11
* tests automatiquesGravatar herbelin2000-12-09
* type attribute added to PROD (for ForAll vs Pi rendering)Gravatar sacerdot2000-12-07
* COPYRIGHT file added; some comments changedGravatar sacerdot2000-12-07
* *** empty log message ***Gravatar sacerdot2000-12-06
* Modif rapide pour prise en compte eqTGravatar herbelin2000-12-06
* Prise en compte `?' dans les `` ``Gravatar herbelin2000-12-06
* MAJ nom long de eqGravatar herbelin2000-12-06
* Bug identarg au lieu de qualidargGravatar herbelin2000-12-06
* section_path etait en fait bonne dans ast et buggee dans printer.mlGravatar herbelin2000-12-06
* *** empty log message ***Gravatar mohring2000-12-06
* 2ème bug de traduction des PathGravatar herbelin2000-12-06
* Bug de traduction des PathGravatar herbelin2000-12-06
* message d'erreurGravatar herbelin2000-12-06
* MAJGravatar herbelin2000-12-06
* Extension de la syntaxe de LetTacGravatar herbelin2000-12-06
* Ajout erreur DoesNotOccurInGravatar herbelin2000-12-06
* Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...Gravatar herbelin2000-12-06
* Notion de 'clause_pattern' pour désigner un ensemble d'occurrences dans le b...Gravatar herbelin2000-12-06
* Divers bugs LetTacGravatar herbelin2000-12-06
* Retrait list_except_assoc qui existe en standard dans ocaml (remove_assoc)Gravatar herbelin2000-12-06
* *** empty log message ***Gravatar mohring2000-12-06
* *** empty log message ***Gravatar mohring2000-12-06
* *** empty log message ***Gravatar mohring2000-12-06
* *** empty log message ***Gravatar mohring2000-12-06
* Pour la phase debugageGravatar mohring2000-12-06
* Reparation conditions de positivites inductifs, echange dans add_entryGravatar mohring2000-12-06
* Correction pour les qualidconstargGravatar delahaye2000-12-06
* Reparation d'un bug de pretty-printGravatar delahaye2000-12-05
* Plus de quote devant les ident et les ?Gravatar delahaye2000-12-05
* Ajout du répertoire config utilisé par System en localGravatar herbelin2000-12-05
* Bug Cases en presence d'une absence de clauseGravatar herbelin2000-12-05
* Prise en compte Let dans le calcul des arguments manquants d'un lemme (clenv_...Gravatar herbelin2000-12-05
* Inner types are now reduced and arrows are created whenGravatar sacerdot2000-12-05
* MAJGravatar herbelin2000-12-05
* Mini-nettoyage noms longsGravatar herbelin2000-12-05
* Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l...Gravatar herbelin2000-12-05
* Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l...Gravatar herbelin2000-12-05
* caractere opaque des constantes repris en compteGravatar filliatr2000-12-04
* Ajout de constr_of_stringGravatar mohring2000-12-04
* Portage d'AutoRewriteGravatar delahaye2000-12-02
* LETIN now has a letintarget instead of a targetGravatar sacerdot2000-12-01
* cictypes.dtd changedGravatar sacerdot2000-12-01
* Used a force function to force stream evaluation only for aestaetics reasons.Gravatar sacerdot2000-11-30
* Identifier order in the inner-types file changed.Gravatar sacerdot2000-11-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 18:27:56 +0000