index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
library
Commit message (
Expand
)
Author
Age
*
Correction bug #1364 (les variables de section sont repérées par
herbelin
2007-02-07
*
Correction bug #1333 (test non récursivité des dépendances en d'autres
herbelin
2007-01-24
*
Merge with Lionel Elie Mamane's private branch:
lmamane
2007-01-10
*
Merge from Lionel Elie Mamane's private branch:
lmamane
2007-01-10
*
Suite commit restructuration discharge (application du type de
herbelin
2007-01-10
*
Nouvelle approche pour le discharge modulaire
herbelin
2007-01-10
*
Cleaning backtracking code, optimized "Backtrack n x y" when n is
courtieu
2006-12-28
*
Correction bug #1041 (double cause : non évitement des noms existants en
herbelin
2006-12-12
*
Évitement noms de constructeurs dans les motifs de filtrage de "match" (suite)
herbelin
2006-12-09
*
Changement du magic number
notin
2006-11-06
*
Extension du polymorphisme de sorte au cas des définitions dans Type.
herbelin
2006-10-28
*
Ajout combinateurs option_fold_left et name_fold_map
herbelin
2006-10-09
*
Indentation + svnprop
notin
2006-09-12
*
Indentation + typo
notin
2006-09-01
*
Un peu de delta-réduction...
herbelin
2006-08-31
*
Correction du bug #1170: les options synchronisées déclarées dans une sect...
notin
2006-07-27
*
Nombre magique pour la 8.1beta
herbelin
2006-07-13
*
Correction bug #990 (LoadPath et option -R de coqide
notin
2006-05-30
*
Modification de add_glob (support des modules dans Coqdoc)
notin
2006-05-23
*
Clarification role de library_part : renommage en remove_section_part
herbelin
2006-05-23
*
Nouvelle implantation du polymorphisme de sorte pour les familles inductives
herbelin
2006-05-23
*
r8931@thot: notin | 2006-04-28 16:19:38 +0200
notin
2006-04-28
*
Standardisation nom option_app en option_map
herbelin
2006-04-27
*
Ajout chop_dirpath
herbelin
2006-04-27
*
Changement anomaly en failwith dans out_name pour utilisation par map_succeed
herbelin
2006-04-24
*
Nouveau mécanisme pour les modules interactifs : les arguments de
herbelin
2006-04-16
*
Inversion de l'ordre de chargement des objets logiques et non logiques
herbelin
2006-04-15
*
Ajout array_fold_map', list_fold_map' et list_remove_first
herbelin
2006-03-29
*
Modification des propriétés (svn:executable)
notin
2006-03-17
*
Ajout syntaxe concrète Proposition, synonyme de Lemma
herbelin
2006-01-29
*
Réorganisation de la structure interne des types de déclarations (decl_kinds)
herbelin
2006-01-28
*
- Ajout syntaxe concrète Property/Corollary, synonymes de Lemma
herbelin
2006-01-28
*
*** empty log message ***
barras
2006-01-20
*
Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...
herbelin
2005-12-26
*
Tentative de réparation du bug #1025: it seems like that a casted module sho...
herbelin
2005-12-24
*
Vérification qu'un module est ouvert avant d'insérer une déclaration nommÃ...
herbelin
2005-12-23
*
Changement des named_context
gregoire
2005-12-02
*
Fonctionnalisation du cache 'compunit' pour réparer correctement le bug #103...
herbelin
2005-11-26
*
bug #909: Top n'est cree que si le contexte est vide
barras
2005-11-23
*
Correction bug dé-globalisation syntactic def (cf coq-club 20/11/05)
herbelin
2005-11-21
*
Nettoyage suite à la détection par défaut des variables inutilisées par o...
herbelin
2005-11-08
*
Conformité au principe du nouveau warning X de ocaml 3.09
herbelin
2005-11-04
*
Types inductifs parametriques
mohring
2005-11-02
*
Correction bug #1030 (conséquence du commit 1.84 sur le discharge: add_froze...
herbelin
2005-11-01
*
Adoption du nom canonique global_of_constr pour éviter confusion avec type r...
herbelin
2005-05-20
*
Keep ClosedSection marker for reset
herbelin
2005-02-20
*
Moving centralised discharge into dispatched discharge_function; required to ...
herbelin
2005-02-18
*
Standardisation of constr_of_reference into constr_of_global + Moved Indmap a...
herbelin
2005-02-18
*
Code mort
herbelin
2005-02-18
*
Ajout du reset des numéros d'états dans reset_initial. Plus propre
coq
2005-02-10
[next]