index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
pretyping
/
evarutil.mli
Commit message (
Expand
)
Author
Age
*
Paramétrisation vis à vis de existential_key
herbelin
2003-09-06
*
Intégration des modifs de la branche mowgli :
herbelin
2002-11-05
*
Deuxième passe sur la localisation des messages d'erreurs sur les evars non ...
herbelin
2002-04-11
*
Amélioration des messages d'erreurs concernant l'inférence des implicites
herbelin
2002-04-10
*
Introduction d'univers frais dans les types implicites engendrés par le pré...
herbelin
2001-11-08
*
Suppression des local_constraints, des ctxtty et du focus.
clrenard
2001-11-06
*
GROS COMMIT:
barras
2001-11-05
*
L'instantiation des evars quand un produit ou une sorte étaient attendus n'Ã...
herbelin
2001-09-14
*
Préparation du prétypage à la mise en place d'univers algébriques
herbelin
2001-09-09
*
amelioration des messages d'erreurs vis a vis des evars
barras
2001-05-23
*
Bug lift de la contrainte au passage du let (bug rapporte par S. Boulme)
herbelin
2001-05-10
*
deux fois $Id$
filliatr
2001-03-29
*
amelioration de la structure des univers
barras
2001-03-28
*
entetes
filliatr
2001-03-15
*
syntaxe AST Inversion + commentaires ocamlweb autour de $
filliatr
2000-12-12
*
Branchement du mécanisme d'instantiation des Evar en présence de définitio...
herbelin
2000-11-27
*
correction Abstract (et make world passe!)
filliatr
2000-11-02
*
Petit nettoyage de Evarutil et Evarconv
herbelin
2000-10-23
*
Passage à des contextes de vars et de rels pouvant contenir des déclarations
herbelin
2000-07-24
*
Séparation des contraintes de type et de valeur dans pretyping
herbelin
2000-06-29
*
Mise en place d'un choix constr/typed_type en remplacement de certains Cast
herbelin
2000-06-01
*
Reparation bug isevars dans pretyping
herbelin
2000-03-10
*
La partie 'val' de trad_constraints devient un typed_type
herbelin
2000-03-08
*
Renommage mt_con -> empty_con
herbelin
2000-03-07
*
documentation
filliatr
2000-01-28
*
Intégration initiale du Cases
herbelin
1999-12-11
*
modifs pour premiere edition de liens
filliatr
1999-12-02
*
- environment -> safe_environment
filliatr
1999-12-01
*
ocamlweb
filliatr
1999-11-30
*
portage modules Evarconv et Evarutil
filliatr
1999-11-29
*
Versions initiales
herbelin
1999-11-24
*
organisation de trad (entre parsing/ et pretyping/)
filliatr
1999-10-13