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
*
bug : import -> export dans Require
filliatr
1999-12-16
*
message erreur Scheme
herbelin
1999-12-15
*
Bug lift
herbelin
1999-12-15
*
Nouveaux types 'constructor' et 'inductive' dans Term;
herbelin
1999-12-15
*
Les inductifs dans Scheme doivent être des ident d'inductifs
herbelin
1999-12-15
*
clarification du code
filliatr
1999-12-14
*
rattrapage exceptions autres que UserError
filliatr
1999-12-14
*
sauvegarde de la valeur de module_name
filliatr
1999-12-14
*
bug mk_clenv_from lorsque pas d arguments
filliatr
1999-12-14
*
pretty-printers pour le debugger
filliatr
1999-12-14
*
mise a jour de refiner.ml (reports de modifs de la V6.3)
barras
1999-12-13
*
- états fabriqués avec -silent
filliatr
1999-12-13
*
- méthode load sur les Hints
filliatr
1999-12-13
*
chemin compile des fichiers Coq
filliatr
1999-12-13
*
petite erreur dans Command
filliatr
1999-12-13
*
documentation
filliatr
1999-12-13
*
documentation interfaces
filliatr
1999-12-13
*
fichiers prelude Coq
filliatr
1999-12-13
*
Poursuite intégration du Cases
herbelin
1999-12-13
*
Ajout pp pattern et rawterm
herbelin
1999-12-12
*
mise a jour
filliatr
1999-12-12
*
modules et coqc
filliatr
1999-12-12
*
modules
filliatr
1999-12-12
*
renommage (nom de module invalide)
filliatr
1999-12-12
*
mise en place des outils
filliatr
1999-12-11
*
outils (manquent encore les deux filtres)
filliatr
1999-12-11
*
Intégration initiale du Cases
herbelin
1999-12-11
*
Quelques fonctions sur les locations des rawconstr
herbelin
1999-12-11
*
bug: enregistrement de vartab au lieu de csttab
filliatr
1999-12-10
*
indications pour les developpeurs
filliatr
1999-12-10
*
- erreurs Pretype
filliatr
1999-12-10
*
debug reset
filliatr
1999-12-10
*
Suppression Rel de rawconstr et correction de bugs d'affichage
herbelin
1999-12-10
*
debug discharge et inductifs
filliatr
1999-12-10
*
Ajout des messages d'erreurs de Cases
herbelin
1999-12-09
*
Bug affichage constructeur
herbelin
1999-12-09
*
- constantes avec recettes
filliatr
1999-12-09
*
Discharge (encore bugge)
filliatr
1999-12-09
*
deplacement de Discharge dans toplevel
filliatr
1999-12-08
*
link Dhyp et Auto
filliatr
1999-12-07
*
debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes
filliatr
1999-12-07
*
correction bug construct_reference
filliatr
1999-12-07
*
MAJ
herbelin
1999-12-06
*
Ajout option spéciale PPC
herbelin
1999-12-06
*
Bug iterated_binder
herbelin
1999-12-06
*
PPMultipleCase.v -> PPCases.v et MAJ
herbelin
1999-12-06
*
initialisation load path (provisoire)
filliatr
1999-12-06
*
check_correct_par n'etait pas fait au bon endroit
filliatr
1999-12-06
*
declarations eliminations / debuggae inductifs (debut)
filliatr
1999-12-06
*
erreurs lexicales
filliatr
1999-12-06
[next]