aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* "Print Setoids" command added.Gravatar sacerdot2004-07-23
* "Show Setoids" command added.Gravatar sacerdot2004-07-23
* majGravatar filliatr2004-07-22
* correction d'un bug de la tactique pour les semi setoid rings.Gravatar clrenard2004-07-22
* majGravatar filliatr2004-07-21
* majGravatar filliatr2004-07-20
* Minimisation de l'utilisation de pa_ifdef.cmo pour éviter les messages d'obs...Gravatar herbelin2004-07-20
* Abstraction vis à vis de dummy_locGravatar herbelin2004-07-20
* majGravatar filliatr2004-07-19
* majGravatar filliatr2004-07-19
* Protection des accès tableau car, sur Sparc-linux, cela engendre une erreur ...Gravatar herbelin2004-07-19
* Indépendance de parser vis a vis de ocamlrunGravatar herbelin2004-07-19
* Bugs make cleanGravatar herbelin2004-07-18
* Abstraction vis a vis du type loc pour ocaml 3.08Gravatar herbelin2004-07-18
* camlp4 maintenant intégré à ocamlGravatar herbelin2004-07-17
* Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06Gravatar herbelin2004-07-17
* majGravatar filliatr2004-07-16
* TypoGravatar herbelin2004-07-16
* MAJGravatar herbelin2004-07-16
* Abstraction vis à vis du type loc pour compatibilité ocaml 3.08Gravatar herbelin2004-07-16
* Branchement sur pa_macro, pa_ifdef devenant obsolete en 3.08Gravatar herbelin2004-07-16
* Mise en place mécanisme de compatibilité ocaml 3.08Gravatar herbelin2004-07-16
* Mise en place mécanisme de compatibilité ocaml 3.08Gravatar herbelin2004-07-16
* Suppression quotifyGravatar herbelin2004-07-16
* Nouvelle en-têteGravatar herbelin2004-07-16
* Suppression quotifyGravatar herbelin2004-07-16
* Suppression compilation explication.ml4Gravatar herbelin2004-07-16
* Abstraction vis a vis de dummy_locGravatar herbelin2004-07-16
* Branchement sur Util.loc et abstraction vis a vis de dummy_locGravatar herbelin2004-07-16
* Suppression de Rawterm.loc, branchement sur Util.locGravatar herbelin2004-07-16
* Abstraction vis a vis de dummy_locGravatar herbelin2004-07-16
* majGravatar filliatr2004-07-15
* majGravatar filliatr2004-07-14
* ajout des unsafeCoerce + 2 bugs haskellGravatar letouzey2004-07-14
* majGravatar filliatr2004-07-13
* bug #780: compilation of several units in the same coqtop processGravatar barras2004-07-13
* bug #794: conv made in wrong envGravatar barras2004-07-13
* bug #790: better error_not_cleanGravatar barras2004-07-13
* bugs #667 and #783 (mimick_evar and loc_table on large files)Gravatar barras2004-07-13
* majGravatar filliatr2004-07-12
* MAJ techniqueGravatar herbelin2004-07-12
* majGravatar filliatr2004-07-11
* Eta-expansion du predicat dans build_indrec (suite)Gravatar herbelin2004-07-11
* Eta-expansion du predicat pas seulement pour make_case mais aussi pour build_...Gravatar herbelin2004-07-11
* Backtrack sur l'eta-expansion systematique et incorrect du predicat du Cases ...Gravatar herbelin2004-07-11
* majGravatar filliatr2004-07-09
* majGravatar filliatr2004-07-08
* majGravatar filliatr2004-07-08
* * <style>...</style> tag no longer generated for theory filesGravatar sacerdot2004-07-08
* - recent changes to doubleTypeInference.ml (that introduced doubleGravatar sacerdot2004-07-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 15:30:16 +0000