aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-03-16Syntactic Definition n'etaient pas correctemenet importeesfilliatr
2000-03-16theories/Boolfilliatr
2000-03-16mise sous CVSfilliatr
2000-03-16mauvais parenthesage dans hd_name (patterns imbriques)filliatr
2000-03-16Utilisation de l'env pour nommer les Relherbelin
2000-03-16Qqes bugs (evars dans le predicat; tag des cas défauts)herbelin
2000-03-10Eqdep_dec doit etre compilefilliatr
2000-03-10t -> $t dans regle grammaire EXfilliatr
2000-03-10compilation theories/Arithfilliatr
2000-03-10mise sous CVS du repertoire theories/Arithfilliatr
2000-03-10*** empty log message ***barras
2000-03-10Reparation bug isevars dans pretypingherbelin
2000-03-08Ajout theories/Logic/*.voherbelin
2000-03-08MAJherbelin
2000-03-08La partie 'val' de trad_constraints devient un typed_typeherbelin
2000-03-08Réparation du cast oublié lors d'une définition castéeherbelin
2000-03-08MAJ nouveau try_mutind_ofherbelin
2000-03-08Ajout du test d'égalité des vecteurs dans convert_forall2.herbelin
2000-03-08Un nouveau moteur pour Cases (phase 1)herbelin
2000-03-08Peaufinement nouveaux types inductive_summary et constructor_summary en vueherbelin
2000-03-07Renommage mt_con -> empty_conherbelin
2000-03-07Commentaireherbelin
2000-03-07Export inh_conv_coerce_to et diversherbelin
2000-03-07Redondancesherbelin
2000-03-07Export mis_typed_arityherbelin
2000-03-07Ajout destApplicationherbelin
2000-03-07Nettoyage check_posherbelin
2000-03-07Renommage ppterm0 --> pptermherbelin
2000-03-07Capture des exceptions si env vide pour ne pas echouer lors du debogageherbelin
2000-03-07Ajout matrix_transposeherbelin
2000-01-31Export gentermpr avec renommageherbelin
2000-01-31Force le renommage dans bad_ind_argumentsherbelin
2000-01-28documentationfilliatr
2000-01-27erreurs latex dans interfacesfilliatr
2000-01-26mise a jourfilliatr
2000-01-26lorsque ocamlc est donne a la main, alors ocamlopt est positionne avecfilliatr
2000-01-26MAJ ocaml 2.99 (espaces dans la syntaxe des cast)herbelin
2000-01-26Fin du changement comarg -> constrargherbelin
2000-01-26MAJ commentairesherbelin
2000-01-26Abstraction de l'implémentation des signatures de Sign en vue intégration d...herbelin
2000-01-21gros commit de tout ce que j'ai fait pendant les vacances :filliatr
2000-01-20Bête renommageherbelin
2000-01-20Broutillesherbelin
2000-01-13Nettoyage des fichiers de parsingherbelin
2000-01-13Plus d'unfold inutile des Fix dans Simplherbelin
2000-01-11Ajout de Recordherbelin
2000-01-11Bugsherbelin
2000-01-11Ajout '|' en tete de filtrageherbelin
2000-01-07Grammaire pour Grammar et Syntax, avant dans Extendherbelin
2000-01-07Traduction constr->rawconstr (avant dans Termastherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 02:20:18 +0000