aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-07-29MAJ cible patchherbelin
2004-07-29Protection unlocherbelin
2004-07-29Distinction location ocaml 3.08 ou pasherbelin
2004-07-29Bug join_locherbelin
2004-07-28majfilliatr
2004-07-28Bug tactique fixherbelin
2004-07-27majfilliatr
2004-07-27Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...herbelin
2004-07-26majfilliatr
2004-07-25majfilliatr
2004-07-25majfilliatr
2004-07-24Plus de pa_ifdef dans CAMLP4EXTENDFLAGSherbelin
2004-07-23majfilliatr
2004-07-23Several tests for the bug-fixed and improved new version ofsacerdot
2004-07-23Major bug fixing and improvement of the setoid_{replace,rewrite} tactics:sacerdot
2004-07-23Since setoid_{replace,rewrite} now uses replace there is a circularitysacerdot
2004-07-23Setoid_replace.setoid_replace last argument (that was supposed to be alwayssacerdot
2004-07-23Setoid_replace.setoid_replace: last argument (that was supposed to besacerdot
2004-07-23"Print Setoids" command added.sacerdot
2004-07-23"Show Setoids" command added.sacerdot
2004-07-22majfilliatr
2004-07-22correction d'un bug de la tactique pour les semi setoid rings.clrenard
2004-07-21majfilliatr
2004-07-20majfilliatr
2004-07-20Minimisation de l'utilisation de pa_ifdef.cmo pour éviter les messages d'obs...herbelin
2004-07-20Abstraction vis à vis de dummy_locherbelin
2004-07-19majfilliatr
2004-07-19majfilliatr
2004-07-19Protection des accès tableau car, sur Sparc-linux, cela engendre une erreur ...herbelin
2004-07-19Indépendance de parser vis a vis de ocamlrunherbelin
2004-07-18Bugs make cleanherbelin
2004-07-18Abstraction vis a vis du type loc pour ocaml 3.08herbelin
2004-07-17camlp4 maintenant intégré à ocamlherbelin
2004-07-17Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06herbelin
2004-07-16majfilliatr
2004-07-16Typoherbelin
2004-07-16MAJherbelin
2004-07-16Abstraction vis à vis du type loc pour compatibilité ocaml 3.08herbelin
2004-07-16Branchement sur pa_macro, pa_ifdef devenant obsolete en 3.08herbelin
2004-07-16Mise en place mécanisme de compatibilité ocaml 3.08herbelin
2004-07-16Mise en place mécanisme de compatibilité ocaml 3.08herbelin
2004-07-16Suppression quotifyherbelin
2004-07-16Nouvelle en-têteherbelin
2004-07-16Suppression quotifyherbelin
2004-07-16Suppression compilation explication.ml4herbelin
2004-07-16Abstraction vis a vis de dummy_locherbelin
2004-07-16Branchement sur Util.loc et abstraction vis a vis de dummy_locherbelin
2004-07-16Suppression de Rawterm.loc, branchement sur Util.locherbelin
2004-07-16Abstraction vis a vis de dummy_locherbelin
2004-07-15majfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 22:31:52 +0000