diff options
| author | filliatr | 1999-08-17 14:06:06 +0000 |
|---|---|---|
| committer | filliatr | 1999-08-17 14:06:06 +0000 |
| commit | ff3f2da65bb4033b4f60fe3890d5392315fe09b5 (patch) | |
| tree | 2f25612a1e914175566ac89b506573a1b2921ae8 /dev | |
| parent | c85ed98ae100c524bb572ebbfd2f4228a11932be (diff) | |
ajout de modules
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/changements.txt | 26 |
1 files changed, 25 insertions, 1 deletions
diff --git a/dev/changements.txt b/dev/changements.txt index 5a190073fa..f0f25bba8a 100644 --- a/dev/changements.txt +++ b/dev/changements.txt @@ -1,5 +1,6 @@ -Voici les changements d'organisation / modules : +Changements d'organisation / modules : +-------------------------------------- AVANT APRÈS ================================ =============================== @@ -8,3 +9,26 @@ Voici les changements d'organisation / modules : Names kernel/names.ml et kernel/sign.ml (les parties noms et signatures ont été séparées) + + +Changements dans les types de données : +--------------------------------------- + dans Generic: free_rels : constr -> int Listset.t + devient : constr -> Intset.t + +Changements dans les fonctions : +-------------------------------- + + Vectops. + it_vect -> Array.fold_left + vect_it -> Array.fold_right + exists_vect -> Util.array_exists + for_all2eq_vect -> Util.array_for_all2 + tabulate_vect -> Array.init + hd_vect -> Util.array_hd + it_vect_from -> array_fold_left_from + vect_it_from -> array_fold_right_from + app_tl_vect -> array_app_tl + cons_vect -> array_cons + + Std.comp -> Util.compose |