| portage Omega (code seulement) |
|
More...
|
over 25 years ago
|
| mise sous CVS d'Omega |
|
More...
|
over 25 years ago
|
| portage en ocaml / camlp4 3.00 |
|
More...
|
over 25 years ago
|
| chgt unify_0 |
|
More...
|
over 25 years ago
|
| Changement de repr��sentation du contexte des r��f dans rawconstr et pattern |
|
More...
|
over 25 years ago
|
| Retrait fullmind de inductive_summary pour simplicit�� |
|
More...
|
over 25 years ago
|
| suppression doublon |
|
More...
|
over 25 years ago
|
| D��branchement provisoire equality et tauto |
|
More...
|
over 25 years ago
|
| MAJ |
|
More...
|
over 25 years ago
|
| Commentaires |
|
More...
|
over 25 years ago
|
| Introduction d'un type constr_pattern pour les diff��rents filtrages |
|
More...
|
over 25 years ago
|
| renommage ancien pattern en cases_pattern |
|
More...
|
over 25 years ago
|
| N'importe quel rawconstr maintenant dans le contexte d'une r��f��rence |
|
More...
|
over 25 years ago
|
| Introduction d'un type constr_pattern pour les diff��rents filtrages |
|
More...
|
over 25 years ago
|
| Nettoyage |
|
More...
|
over 25 years ago
|
| discharge des axiomes |
|
More...
|
over 25 years ago
|
| Compilation pbs (coqc not finding coqtop, coqc not finding .vo when building states, coqc wrongly giving option -bindir to coqtop) fixed. |
|
More...
|
over 25 years ago
|
| Sign.db_signature is now an abstract type |
|
More...
|
over 25 years ago
|
| Abstraction du type typed_type (un pas vers les jugements 2 niveaux) |
|
More...
|
over 25 years ago
|
| Abstraction du type typed_type (un pas vers les jugements 2 niveaux) |
|
More...
|
over 25 years ago
|
| Prise en compte du renommage des fonctions de Astterm |
|
More...
|
over 25 years ago
|
| Portage (pour la forme) de minicoq |
|
More...
|
over 25 years ago
|
| erreurs lexicales dans les patterns (manquait des espaces) |
|
More...
|
over 25 years ago
|
| R��ajout globalize_command |
|
More...
|
over 25 years ago
|
| Nettoyage de l'interface d'Astterm; renommage des {pf_,}constr_of_com* en {pf_,}interp_constr* |
|
More...
|
over 25 years ago
|
| Nettoyage de l'interface d'Astterm; renommage des constr_of_com and co en interp_constr etc. |
|
More...
|
over 25 years ago
|
| Inversion (pas termine) |
|
More...
|
over 25 years ago
|
| Am��lioration d'un message d'erreur |
|
More...
|
over 25 years ago
|
| - bug make_module_marker (plus de # et de .obj maintenant) - portage (partiel) de Zarith - bug discrEverywhere (manquait un "fun gls ->") |
|
More...
|
over 25 years ago
|
| Modification de type_of_case, type_case_branches, etc |
|
More...
|
over 25 years ago
|
