aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2004-07-14majfilliatr
2004-07-14ajout des unsafeCoerce + 2 bugs haskellletouzey
2004-07-13majfilliatr
2004-07-13bug #780: compilation of several units in the same coqtop processbarras
2004-07-13bug #794: conv made in wrong envbarras
2004-07-13bug #790: better error_not_cleanbarras
2004-07-13bugs #667 and #783 (mimick_evar and loc_table on large files)barras
2004-07-12majfilliatr
2004-07-12MAJ techniqueherbelin
2004-07-11majfilliatr
2004-07-11Eta-expansion du predicat dans build_indrec (suite)herbelin
2004-07-11Eta-expansion du predicat pas seulement pour make_case mais aussi pour build_...herbelin
2004-07-11Backtrack sur l'eta-expansion systematique et incorrect du predicat du Cases ...herbelin
2004-07-09majfilliatr
2004-07-08majfilliatr
2004-07-08majfilliatr
2004-07-08* <style>...</style> tag no longer generated for theory filessacerdot
2004-07-08- recent changes to doubleTypeInference.ml (that introduced doublesacerdot
2004-07-08Commit to perform double type inference also on inner types.sacerdot
2004-07-08added commands to idecorbinea
2004-07-07majfilliatr
2004-07-07bypass w_Define when w_refine-ingcorbinea
2004-07-06majfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 08:16:51 +0000