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
*
Autres suppressions de composantes du traducteur
herbelin
2005-12-27
*
Mini-test d'extraction
herbelin
2005-12-27
*
maj
coq
2005-12-26
*
Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...
herbelin
2005-12-26
*
Petite correction nom QuantHypArgType suite suppression traducteur
herbelin
2005-12-26
*
Achèvement suppression traducteur dans contrib/interface
herbelin
2005-12-26
*
Suppression des parseurs et printeurs v7; suppression du traducteur; changeme...
herbelin
2005-12-26
*
Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...
herbelin
2005-12-26
*
Suppression des fichiers .v en ancienne syntaxe
herbelin
2005-12-26
*
Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...
herbelin
2005-12-26
*
Suppression des fichiers .v en ancienne syntaxe
herbelin
2005-12-26
*
Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...
herbelin
2005-12-26
*
maj
coq
2005-12-25
*
Compatibilité ocaml 3.09
herbelin
2005-12-25
*
Traduction des noms v7 en noms v8
herbelin
2005-12-25
*
Adaptation des noms de OmegaLemmas aux noms de Z; traduction des noms v7 de Z...
herbelin
2005-12-25
*
Traduction des noms v7 de Z en noms v8
herbelin
2005-12-25
*
Traduction des noms v7 de R en noms v8
herbelin
2005-12-25
*
Utilisation de -notop pour imposer l'absence de module toplevel
herbelin
2005-12-25
*
maj
coq
2005-12-24
*
Changement de stratégie vis à vis du positionnement du module Top en mode b...
herbelin
2005-12-24
*
Tentative de réparation du bug #1025: it seems like that a casted module sho...
herbelin
2005-12-24
*
maj
coq
2005-12-23
*
*** empty log message ***
herbelin
2005-12-23
*
Débranchement des parseurs de syntaxe v7
herbelin
2005-12-23
*
Simplifification de vernac_expr li l'abandon du traducteur
herbelin
2005-12-23
*
MAJ restructuration constrintern.ml
herbelin
2005-12-23
*
Vérification qu'un module est ouvert avant d'insérer une déclaration nommÃ...
herbelin
2005-12-23
*
Correction printer des Tactic Notation
herbelin
2005-12-23
*
Correction pr_module pour traducteur
herbelin
2005-12-23
*
Test printing of Tactic Notation which was broken until dec 2005
herbelin
2005-12-23
*
maj
coq
2005-12-22
*
Abandon tests syntaxe v7 (correction)
herbelin
2005-12-22
*
Contrepartie de la suppression des boites automatiques dans format
herbelin
2005-12-22
*
option '-top dir' now works also in batch mode (2ème)
herbelin
2005-12-22
*
Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8
herbelin
2005-12-22
*
option '-top dir' now works also in batch mode; it is even necessary to ensur...
herbelin
2005-12-22
*
Double bug de interp_modifiers anciennement caché par un troisième que les ...
herbelin
2005-12-22
*
Correction bugs commit précédent
herbelin
2005-12-22
*
Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8
herbelin
2005-12-21
*
Abandon tests syntaxe v7; ajouts tests modules
herbelin
2005-12-21
*
maj
coq
2005-12-21
*
MAJ syntaxe v7 avant activation en syntaxe v8
herbelin
2005-12-21
*
Activation du test de Refine en v7 pour mémoire avant passage à la v8
herbelin
2005-12-21
*
Anciennement déplacé dans 'output'
herbelin
2005-12-21
*
cf ltac4.v
herbelin
2005-12-21
*
MAJ
herbelin
2005-12-21
*
Divers; restructuration des points d'entrée de Constrintern
herbelin
2005-12-21
*
Prise en compte de l'information que certaines tactiques attendent un type (u...
herbelin
2005-12-21
*
Restructuration des points d'entrée de Pretyping et Constrintern
herbelin
2005-12-21
[next]