index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
parsing
/
pretty.ml
Commit message (
Expand
)
Author
Age
...
*
Déplacement du type reference dans Term
herbelin
2000-04-28
*
Abstraction du type typed_type (un pas vers les jugements 2 niveaux)
herbelin
2000-04-20
*
MAJ ocaml 2.99 (espaces dans la syntaxe des cast)
herbelin
2000-01-26
*
Abstraction de l'implémentation des signatures de Sign en vue intégration d...
herbelin
2000-01-26
*
gros commit de tout ce que j'ai fait pendant les vacances :
filliatr
2000-01-21
*
Restructuration printer et parser
herbelin
2000-01-07
*
modules et coqc
filliatr
1999-12-12
*
Intégration initiale du Cases
herbelin
1999-12-11
*
- constantes avec recettes
filliatr
1999-12-09
*
declarations eliminations / debuggae inductifs (debut)
filliatr
1999-12-06
*
mise au point lexer / debugage PP
filliatr
1999-12-05
*
modifs pour premiere edition de liens
filliatr
1999-12-02
*
affichage classes et coercions
filliatr
1999-12-02
*
Intégration du Termast et du Retyping de HH, et modifications connexes
herbelin
1999-12-01
*
mise au point Declare et avancee dans Astterm
filliatr
1999-12-01
*
- Typing -> Safe_typing
filliatr
1999-12-01
*
portage Astterm (partiellement)
filliatr
1999-11-29
*
module Pretty (partiellement)
filliatr
1999-11-26
[prev]