aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Restructuration des outils pour les inductifs.Gravatar herbelin2000-05-18
* Centralisation prod_name and co dans Environ; mkLambda_string dans TermGravatar herbelin2000-05-18
* docGravatar herbelin2000-05-18
* Ajout mis_typepathGravatar herbelin2000-05-16
* Retrait du i pour tclTHEN_i et correction bugs DecomposeGravatar herbelin2000-05-16
* RIENGravatar herbelin2000-05-16
* RienGravatar herbelin2000-05-16
* contrib linkees en natifGravatar filliatr2000-05-08
* un Declare ML Module inutileGravatar filliatr2000-05-08
* ajout d'InversionGravatar filliatr2000-05-05
* MAJGravatar herbelin2000-05-05
* docGravatar herbelin2000-05-05
* Ajout d'un strong 'light'Gravatar herbelin2000-05-05
* ajout interp_sortGravatar herbelin2000-05-05
* RéorganisationGravatar herbelin2000-05-05
* Achèvement nettoyage Pfedit; ajout intros_replacingGravatar herbelin2000-05-05
* Intégration de leminvGravatar herbelin2000-05-05
* Achèvement nettoyage PfeditGravatar herbelin2000-05-05
* Ajoute option -byteGravatar herbelin2000-05-05
* MAJGravatar herbelin2000-05-04
* Vernacinterp passe après CommandGravatar herbelin2000-05-04
* les erreursGravatar herbelin2000-05-04
* Renommage try_mutind_of en find_inductive (on fait ce qu'on peut !)Gravatar herbelin2000-05-04
* Nettoyage de l'interface de PfeditGravatar herbelin2000-05-04
* nettoyage (quelques oublis dans make clean)Gravatar filliatr2000-05-03
* compilation bytecode / native :Gravatar filliatr2000-05-03
* Retrait de PrintConstr vers top_printersGravatar delahaye2000-05-03
* Completion d'un match non exhaustifGravatar delahaye2000-05-03
* Ajout de PrintConstr pour debugGravatar delahaye2000-05-03
* Reparation du bug d'interpretation d'AbstractGravatar delahaye2000-05-03
* diverses modifs pour ocamlwebGravatar filliatr2000-05-03
* MAJGravatar herbelin2000-05-03
* retour a la version qui ne contournait pas le bug de PatternMatchingFailure n...Gravatar herbelin2000-05-03
* suppression de Fw pour les implicitesGravatar herbelin2000-05-03
* Ajout get_referenceGravatar herbelin2000-05-03
* Encapsulage de PatternMatchingFailure par un 'error' pour que l'echec de conc...Gravatar herbelin2000-05-03
* renommage de certains printersGravatar herbelin2000-05-03
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* portage Omega (mais toujours pas Zpower et Zlogarithm)Gravatar filliatr2000-05-02
* construct_reference prend en compte aussi les variables du contextGravatar filliatr2000-05-02
* pattern-matching non-exhaustif (occur_rawconstr)Gravatar filliatr2000-05-02
* DiversGravatar herbelin2000-05-02
* Problème avec SOPATTGravatar herbelin2000-05-02
* Problème avec motif du second-ordreGravatar herbelin2000-05-02
* Bug redondance entre 'RRef (RMeta _)' et 'PMeta _'Gravatar herbelin2000-05-02
* Suite intégration de constr_patternGravatar herbelin2000-04-30
* MAJGravatar herbelin2000-04-30
* MODIFS pour compatibilité aussi 2.99Gravatar herbelin2000-04-30
* Intégration progressiveGravatar herbelin2000-04-30
* Adaptés pour le type constr_pattern et les nouvelles fonctions de filtrageGravatar herbelin2000-04-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 13:09:05 +0000