index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Mini-nettoyage noms longs
herbelin
2000-12-05
*
Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l...
herbelin
2000-12-05
*
Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l...
herbelin
2000-12-05
*
caractere opaque des constantes repris en compte
filliatr
2000-12-04
*
Ajout de constr_of_string
mohring
2000-12-04
*
Portage d'AutoRewrite
delahaye
2000-12-02
*
LETIN now has a letintarget instead of a target
sacerdot
2000-12-01
*
cictypes.dtd changed
sacerdot
2000-12-01
*
Used a force function to force stream evaluation only for aestaetics reasons.
sacerdot
2000-11-30
*
Identifier order in the inner-types file changed.
sacerdot
2000-11-30
*
Changement de la syntaxe des options -I et -R
herbelin
2000-11-30
*
Bug option -I et -R quand le répertoire est '..'
herbelin
2000-11-29
*
Prise en compte REQUIRE dans print_leaf
herbelin
2000-11-29
*
Bug option -I et -R quand le répertoire est '.'
herbelin
2000-11-29
*
Prise en compte de la contrainte de type dans Definition comme étant un cast...
herbelin
2000-11-29
*
Suppression cast inutile
herbelin
2000-11-29
*
ajout constr_display
filliatr
2000-11-29
*
mise a jour
filliatr
2000-11-29
*
ajout
filliatr
2000-11-29
*
-I config
mohring
2000-11-29
*
Changement dans les noms longs (2eme)
herbelin
2000-11-29
*
Changement dans les noms longs
herbelin
2000-11-29
*
Modifications due to the new As option in AddPath and AddRecPath.
sacerdot
2000-11-29
*
Now AddRecPath and AddPath can be used with an As option to specify the
sacerdot
2000-11-29
*
load_path_entry structure simplified; field relative_subdir renamed to coq_dirpa
sacerdot
2000-11-29
*
load_path_entry structure simplified; field relative_subdir renamed to coq_dirpa
sacerdot
2000-11-29
*
load_path_entry structure simplified; field relative_subdir renamed to coq_di...
sacerdot
2000-11-29
*
mise à jour
filliatr
2000-11-29
*
Nouveau long long avec Coq en tête
herbelin
2000-11-29
*
MAJ
herbelin
2000-11-29
*
La zone par défaut pour le nommage des modules est Scratch
herbelin
2000-11-29
*
Code mort
herbelin
2000-11-29
*
Ajout d'une option d'alias à -I
herbelin
2000-11-29
*
Nouveau long long avec Coq en tête
herbelin
2000-11-29
*
Enregistrement des racines de la bibliothèque
herbelin
2000-11-29
*
Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...
herbelin
2000-11-29
*
Ajout d'un test pour vérifier qu'on a affaire à un ident
herbelin
2000-11-29
*
Déplacement du message d'erreur de gen_rel vers l'appelant pour le prétypage
herbelin
2000-11-29
*
Now also inner-types are exported.
sacerdot
2000-11-29
*
Hack pour contourner CVS en local dans la recherche rcursive de load_path
herbelin
2000-11-28
*
Remplacement des add_include par add_rec_include pour avoir le repertoire dan...
herbelin
2000-11-28
*
Les variables doivent persister dans les vo pour HELM
herbelin
2000-11-28
*
Code clean-up due to the new usage of longer names in Coq.
sacerdot
2000-11-28
*
Prise en compte du repertoire dans le section path; utilisation de dirpath po...
herbelin
2000-11-28
*
Ajout des Fix et CoFix dans les patterns
delahaye
2000-11-28
*
Added -R inclusion to fix compilation in not-local configuration.
sacerdot
2000-11-28
*
-I inutiles pour coqc et utilisation de -R theories (pour garder trace des no...
herbelin
2000-11-28
*
Elimination du '
delahaye
2000-11-28
*
Elimination du '
delahaye
2000-11-28
*
Un == non reconnu sous alpha
delahaye
2000-11-28
[next]