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
...
*
- déplacement (encore une fois !) des variables existentielles : elles sont
filliatr
1999-10-18
*
module Logic
filliatr
1999-10-14
*
module Proof_trees
filliatr
1999-10-14
*
- re-introduction d'une evar_map dans unsafe_env
filliatr
1999-10-13
*
redeplacement des var. ex. dans kernel :-)
filliatr
1999-10-13
*
module Logic
filliatr
1999-10-12
*
deplacement des var. ex. dans proofs
filliatr
1999-10-08
*
corrections pour ocamlweb
filliatr
1999-09-28
*
mise en place du toplevel (ne compile pas encore)
filliatr
1999-09-28
*
module Declare
filliatr
1999-09-19
*
- un effort sur la doc (ocamlweb)
filliatr
1999-09-19
*
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
[prev]