index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
Commit message (
Expand
)
Author
Age
*
MAJ
herbelin
2007-10-29
*
Allow a few build system optimisations/corner-cutting
lmamane
2007-10-11
*
add $COQTOP to the search path of ocamldebug
letouzey
2007-10-08
*
Ajout de eelim, ecase, edestruct et einduction (expérimental).
herbelin
2007-10-03
*
* Adding compability with ocaml 3.10 + camlp5 (rework of
letouzey
2007-09-15
*
- Débogueur: positionnement de set_detype_anonymous pour ne pas
herbelin
2007-08-29
*
- Correction bug dans syntaxe des match (liste de motifs vide était acceptée)
herbelin
2007-08-22
*
Add glob.dump to Makefile the recommended way and document the
lmamane
2007-07-25
*
Reorganise cleaning targets
lmamane
2007-07-16
*
A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem
lmamane
2007-07-16
*
New bootstrapping, improved, Makefile system
corbinea
2007-07-13
*
MAJ
herbelin
2007-05-21
*
Quelques exemples sur l'asymétrie de la conversion
herbelin
2007-04-29
*
Ajout de la possibilité d'utiliser les evars dans apply_in et elim_in.
herbelin
2007-04-28
*
- Correction d'un bug de make_clenv_binding_apply révélé par le commit 9771
herbelin
2007-04-18
*
Rajout du mot Fix dans le printer
vsiles
2007-04-17
*
Retablissement de Fix dans print_pure_constr
vsiles
2007-04-17
*
Allègement de l'affichage des références par le printer si possible
herbelin
2007-01-22
*
Export de l'afficheur de substitutions de noms de modules pour le débogueur
herbelin
2007-01-19
*
MAJ
herbelin
2006-11-19
*
MAJ
herbelin
2006-10-30
*
Simplification ocamldebug (coq-debug-programs.out obsolète)
herbelin
2006-10-13
*
Reactivation des outils de developpement de Jacek
herbelin
2006-09-29
*
mise a jour du nouveau ring et ajout du nouveau field, avant renommages
barras
2006-09-26
*
Tout petit bug d'affichage dans constr_display (top_printers)
herbelin
2006-09-22
*
- Ajout d'un cast vm dans la syntaxe : x <: t
bgregoir
2006-07-22
*
MAJ fichier dev/doc/changes.txt
herbelin
2006-06-10
*
Fix broken paths.
msozeau
2006-05-29
*
Added contrib/funind to the path for ocamldebug-coq
courtieu
2006-05-26
*
Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTEND
herbelin
2006-05-23
*
Restructuration dossier dev et mise à jour de certaines documentations
herbelin
2006-05-23
*
PÃréouverture de la plupart des fichis pour éviter d'avoir à qualifier
herbelin
2006-05-23
*
Comments about profiling
herbelin
2006-05-11
*
Standardisation du nom des méthodes de Evd
herbelin
2006-04-28
*
Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...
notin
2006-04-28
*
Official MoWGLI definition of CIC dtd
herbelin
2006-04-27
*
Suppression de l'entrée devdoc dans le Makefile principal et modification en...
notin
2006-04-27
*
MAJ debugging (et arrêt support version française)
herbelin
2006-03-17
*
Deplacement du répertoire doc dans dev
notin
2006-03-06
*
Ajout ppenv
herbelin
2006-01-30
*
Plutôt pas de contraction des match dans le déboggueur
herbelin
2006-01-30
*
Ajout printer Idset.t
herbelin
2006-01-29
*
Restructuration et simplification des fonctions d'affichage, de détypage
herbelin
2006-01-11
*
Restauration des commandes de débogage PrintConstr et PrintPureConstr (suite...
herbelin
2006-01-04
*
Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés)
herbelin
2006-01-04
*
Remise en place des commandes vernaculaires PrintConstr et PrintPureConstr (d...
herbelin
2006-01-04
*
MAJ
herbelin
2005-12-28
*
Analyse des tests automatiques de compilation des contributions
herbelin
2005-12-28
*
Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...
herbelin
2005-12-26
*
Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...
herbelin
2005-12-26
[next]