index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
Commit message (
Expand
)
Author
Age
*
Un peu plus de souplesse dans la globalisation des noms utilises par les tact...
herbelin
2003-09-26
*
Utilisation de noms dans 'Implicit Arguments [...]'
herbelin
2003-09-23
*
Changement de l'afficheur pour que les variables liées aient un nom indépen...
herbelin
2003-09-23
*
Ajout fonctions syntaxe v8 pour contrib MapleMode
herbelin
2003-09-23
*
commit accidentel d'une bidouille
letouzey
2003-09-22
*
traducteur: affiche les commentaires a l'interieur des commandes
barras
2003-09-22
*
Système de renommage des noms de tactiques Ltac
herbelin
2003-09-22
*
suite (et fin) reparation Setoid Ring
letouzey
2003-09-22
*
tentative de rafraichissement de Setoid Ring
letouzey
2003-09-22
*
Passage à la V8 par défaut
herbelin
2003-09-22
*
Changement de la politique de V8only: V8only tout seul signifie
herbelin
2003-09-21
*
Mise en place d'implicites par noms en v8
herbelin
2003-09-21
*
parsing
herbelin
2003-09-19
*
Indépendance vis à vis de Declare
herbelin
2003-09-12
*
Ajout 'Print Scopes' et 'Bind Scope with classes'
herbelin
2003-09-12
*
Simplification vis a vis de Declare
herbelin
2003-09-12
*
Branchement constant sur Coqlib
herbelin
2003-09-12
*
Ajout construction If primitive dans constr_expr et rawconstr
herbelin
2003-09-09
*
Mise en place possibilité de définitions locales dans les paramètres des r...
herbelin
2003-09-06
*
Paramétrisation vis à vis de existential_key
herbelin
2003-09-06
*
Mise en place possibilité de définitions locales dans les paramètres des i...
herbelin
2003-09-06
*
Pour accomoder autant le printer v8 que v7
herbelin
2003-09-06
*
Protection contre les types sans corps associé
herbelin
2003-09-06
*
bug dans calcul nb d'occurrences
letouzey
2003-09-05
*
correction d'un stack overflow possible (PR#320)
letouzey
2003-08-28
*
Traducteur de correctness
herbelin
2003-08-14
*
code mort
herbelin
2003-08-14
*
Traduction mlnames
herbelin
2003-08-14
*
Notation access au dessous du niveau applicatif (2eme)
herbelin
2003-08-14
*
Notation access au dessous du niveau applicatif
herbelin
2003-08-13
*
Nouvelle mouture du traducteur v7->v8
herbelin
2003-08-11
*
Ground bugfix
corbinea
2003-07-11
*
bug typage du cases/identity: optim off si inductif avec vars
letouzey
2003-07-10
*
renommage des modules 1er niveau en monolithique
letouzey
2003-07-10
*
Ground update
corbinea
2003-07-08
*
bug match match
letouzey
2003-07-08
*
Ground bugfix
corbinea
2003-07-04
*
switching back to old tauto
corbinea
2003-07-03
*
modification ground
corbinea
2003-07-03
*
addition of Auto hints in Ground
corbinea
2003-07-03
*
added hints into Ground
corbinea
2003-07-02
*
Ground update
corbinea
2003-06-22
*
Ground update
corbinea
2003-06-20
*
Ground Update.
corbinea
2003-06-20
*
Ajout 'Symmetry in Hyp'
herbelin
2003-06-19
*
Ground update
corbinea
2003-06-16
*
ground update
corbinea
2003-06-16
*
Ground major update ... mmm, sounds exciting !
corbinea
2003-06-15
*
ground update
corbinea
2003-06-14
*
Major Ground update, may break semantics
corbinea
2003-06-14
[next]