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
*
maj
filliatr
2002-10-11
*
maj
filliatr
2002-10-09
*
maj
filliatr
2002-10-07
*
Adding the congruence closure tactics (CC and CCsolve).
corbinea
2002-10-01
*
maj
filliatr
2002-10-01
*
maj
filliatr
2002-09-30
*
maj
filliatr
2002-09-21
*
La notation with dependante + affichage dependante de moduels corrige
coq
2002-09-20
*
maj
filliatr
2002-09-20
*
maj
filliatr
2002-09-20
*
maj
filliatr
2002-09-20
*
La notation 'with'. L'interpretation - version preliminaire
coq
2002-08-19
*
MAJ .depend
coq
2002-08-19
*
Pretty-printing preliminaire des modules, commandes
coq
2002-08-19
*
Strengthenning rules for modules + No modules in sections
coq
2002-08-16
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
correction bugs Tauto
courant
2002-07-19
*
Correction bug Tauto : la regle pour (A->B)->C echouait quand C etait
courant
2002-07-15
*
maj
filliatr
2002-06-20
*
extraction vers scheme
letouzey
2002-06-07
*
affaiblissement hyp de Zmult_reg_left
filliatr
2002-06-05
*
Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...
herbelin
2002-05-29
*
jLogic disparaît
herbelin
2002-04-19
*
*** empty log message ***
courant
2002-04-17
*
backtrack dans l'algo d'unification
barras
2002-04-10
*
An intuitionistic first-order theorem prover -- JProver.
huang
2002-03-22
*
Makefile
courant
2002-03-12
*
Big commit extraction:
letouzey
2002-03-04
*
Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parce
ddr
2002-02-20
*
- Reforme de la gestion des args recursifs (via arbres reguliers)
barras
2002-02-14
*
substitution et pattern modulo let
barras
2002-02-11
*
changement generation de schema d'elimination, False_rec est primitif, Constr...
mohring
2002-01-31
*
MAJ
herbelin
2002-01-17
*
contrib/interface/dad.ml4 had no real need of streams, it should have been
bertot
2001-12-19
*
reparation du make depend et du .depend
letouzey
2001-12-19
*
MAJ
herbelin
2001-12-19
*
reparation de make doc (ocamlweb & _)
letouzey
2001-12-19
*
Add dependencies for two new files in contrib/interface
bertot
2001-12-18
*
Mise a jour des dependances
clrenard
2001-11-29
*
mise a jour
filliatr
2001-11-29
*
nouvel algo de conversion plus uniforme
barras
2001-11-29
*
mise a jour
filliatr
2001-11-27
*
remise au gout du jour du repertoire theories/Sorting de la V6.3
letouzey
2001-11-21
*
Diverses petites simplications de la machine de preuves.
clrenard
2001-11-19
*
Ajout d'un fichier Max dans Arith, et enrichissement du Min.
letouzey
2001-11-15
*
Suppression des stamps et donc des *_constraints
clrenard
2001-11-12
*
Suites modifs du noyau. Univ devient purement fonctionnel.
barras
2001-11-12
*
GROS COMMIT:
barras
2001-11-05
*
Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET...
letouzey
2001-10-26
*
chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les o...
letouzey
2001-10-22
[next]