aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* compat ocaml 3.03Gravatar filliatr2001-12-13
* Suppression des local_constraints, des ctxtty et du focus.Gravatar clrenard2001-11-06
* GROS COMMIT:Gravatar barras2001-11-05
* Abstraction de l'immplementation de dirpath et implementation dans l'autre se...Gravatar herbelin2001-10-17
* Suppression des arguments sur les constantes, inductifs et constructeursGravatar barras2001-10-09
* Ajout du printer de tactiques + modif du Dynamic ocamlGravatar delahaye2001-09-30
* ParsingGravatar herbelin2001-08-10
* correction d'un bug de Correctness (pour Y Bertot)Gravatar filliatr2001-06-27
* Retablissement de minicoqGravatar coq2001-05-29
* Facilites pour le debogguage des univers.Gravatar coq2001-05-29
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* Modification pour passage p-automatesGravatar mohring2001-05-15
* ajout d'un afficher de contexte et d'une fonction constbody_of_stringGravatar letouzey2001-05-10
* Changement de la structure des points fixesGravatar barras2001-05-03
* Make sure that the COQTOP variable is really used, when it is set.Gravatar bertot2001-04-03
* entetesGravatar filliatr2001-03-15
* modifs pour extraction; bug coqmktopGravatar filliatr2001-03-06
* module Explore générique et réécriture EAuto avec ce module; occur check ...Gravatar filliatr2001-03-05
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* nouvelle implantation de la reductionGravatar barras2001-03-01
* MAJGravatar herbelin2001-01-30
* MAJGravatar herbelin2000-12-18
* PrinterGravatar mohring2000-12-15
* Bug sur commit précédentGravatar herbelin2000-12-14
* Enfin trouvé la cause d'exception; suppression de la capsule de rattrapageGravatar herbelin2000-12-14
* Ajout du répertoire config utilisé par System en localGravatar herbelin2000-12-05
* Ajout de constr_of_stringGravatar mohring2000-12-04
* ajout constr_displayGravatar filliatr2000-11-29
* -I configGravatar mohring2000-11-29
* Prise en compte qualidGravatar herbelin2000-11-26
* MAJGravatar herbelin2000-11-24
* Paramètrage de ocamldebug-v7 par configure à partir d'un 'template'Gravatar herbelin2000-11-24
* Reparation bug mutuels indGravatar mohring2000-11-22
* Gros hack pour afficher les universGravatar herbelin2000-11-11
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* g_natsyntax et g_zsyntax maintenant toujours linkesGravatar filliatr2000-10-27
* MAJGravatar herbelin2000-10-23
* MAJGravatar herbelin2000-10-18
* MAJGravatar herbelin2000-10-11
* MAJ pr_uniGravatar herbelin2000-10-06
* Commit malencontreux sur précédente versionGravatar herbelin2000-10-04
* Mise en conformité nouveau Simpl pour FixGravatar herbelin2000-10-04
* MAJGravatar herbelin2000-10-03
* Renommage AppL en AppGravatar herbelin2000-10-01
* MAJGravatar herbelin2000-10-01
* MAJGravatar herbelin2000-09-26
* MAJGravatar herbelin2000-09-14
* MAJGravatar herbelin2000-09-12
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 23:36:14 +0000