aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-06-21Require Plus ajoutefilliatr
2000-06-21bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...filliatr
2000-06-21portage EAuto et Ringfilliatr
2000-06-21Ringfilliatr
2000-06-21theories/Realsfilliatr
2000-06-21theories/Relationsfilliatr
2000-06-21theories/Setsfilliatr
2000-06-21theories/Listsfilliatr
2000-06-15Code mortherbelin
2000-06-12Auto with zarith provisoirement remplace par un Omegafilliatr
2000-06-12mise a jourfilliatr
2000-06-12dependance des CONTRIBVO envers initial.coqfilliatr
2000-06-09Bugsherbelin
2000-06-09Amelioration messages erreursherbelin
2000-06-09Docherbelin
2000-06-03Diversherbelin
2000-06-03Retrait des lam_and_pop and co (2ème - bug)herbelin
2000-06-03Retrait des lam_and_pop and coherbelin
2000-06-03Retrait des lam_and_pop and co; ajout d'un destructeur 'lispien' de constrherbelin
2000-06-02Retrait de decomp_prod non conforme à sa specherbelin
2000-06-02Retrait de certains castsherbelin
2000-06-02bugs infrence des arguments manquants dans le prdicatherbelin
2000-06-02bugs et simplification (suite)herbelin
2000-06-02docherbelin
2000-06-02MAJherbelin
2000-06-02Bug DLAM dans strongherbelin
2000-06-02Bugs/Messages d'erreursherbelin
2000-06-02Mise en place d'un choix constr/typed_type en remplacement de certains Castherbelin
2000-06-02Bugs et simplifications coercionsherbelin
2000-06-02':>' est devenu un seul tokenherbelin
2000-06-01Mise en place d'un choix constr/typed_type en remplacement de certains Castherbelin
2000-06-01Mise en place d'un choix constr/typed_type en remplacement de certains Castherbelin
2000-05-31Afficahge des locationsherbelin
2000-05-31Nettoyage de Genericherbelin
2000-05-31docherbelin
2000-05-31Nettoyage de Generic;Suppression des DLAM en tête des listes de constructeursherbelin
2000-05-31Amélioration capture des erreursherbelin
2000-05-26Modification messages d'erreurs, possibilité de n'importe quel constr dans l...herbelin
2000-05-25Déplacement de save_thm and co de PFedit vers Commandherbelin
2000-05-25Bug existential_value au lieu de existential_type + divers sur existentialherbelin
2000-05-25Petit bug get_current_contextherbelin
2000-05-23Bug de castherbelin
2000-05-23Bug stupide d'ordre d'évaluationherbelin
2000-05-23Réparation bug d'affichage et affichage des instanciations par des {...}herbelin
2000-05-23MAJherbelin
2000-05-23Docherbelin
2000-05-22Commentairesherbelin
2000-05-22Séparation des tokens -> et ~herbelin
2000-05-22Rienherbelin
2000-05-22Bugs d'index d'inductiveherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-15 19:21:03 +0000