index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
.depend
Commit message (
Expand
)
Author
Age
*
module Library
filliatr
1999-09-18
*
affichage des erreurs de typage dans minicoq
filliatr
1999-09-10
*
modules System, Lib et States
filliatr
1999-09-10
*
module Himsg
filliatr
1999-09-08
*
compilation des grammaires (ouf)
filliatr
1999-09-08
*
- deplacement time stamps dans System (car utilise Unix)
filliatr
1999-09-08
*
modules Ast et Pcoq
filliatr
1999-09-08
*
mise a jour
filliatr
1999-09-07
*
- minicoq : definition inductifs; syntaxe a->b
filliatr
1999-09-07
*
mise en place commandes minicoq
filliatr
1999-09-07
*
(debut) de grammaire minicoq
filliatr
1999-09-07
*
mise en place grammaire minicoq
filliatr
1999-09-07
*
mise en place repertoire test-suite/, toplevel/, parsing/
filliatr
1999-09-06
*
modules Libobject et Summary (partiel)
filliatr
1999-09-03
*
mise a jour
filliatr
1999-08-30
*
module Indtypes
filliatr
1999-08-27
*
environnement sur
filliatr
1999-08-26
*
le noyau compile et link
filliatr
1999-08-26
*
mise a jour
filliatr
1999-08-25
*
mach et himsg; typage sans extraction
filliatr
1999-08-24
*
machine: execute = typage avec univers
filliatr
1999-08-20
*
module Reduction (fin)
filliatr
1999-08-18
*
module Reduction (debut)
filliatr
1999-08-18
*
module Closure
filliatr
1999-08-17
*
ajout de modules
filliatr
1999-08-17
*
ancien names decoupe en names + sign
filliatr
1999-08-16
*
Initial revision
filliatr
1999-08-16