index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
r8708@thot: notin | 2006-03-24 18:55:01 +0100
notin
2006-03-25
*
r8686@thot: notin | 2006-03-20 19:29:09 +0100
notin
2006-03-25
*
utilisation de la VM pour la normalisation finale de romega
letouzey
2006-03-24
*
Patch envoy\'e par Benjamin Gregoire, permettant de corriger
letouzey
2006-03-24
*
on ignore TAGS au niveau svn
letouzey
2006-03-23
*
correctifs de bug pour romega:
letouzey
2006-03-23
*
Correction d'un bug sur 'make doc' et modification des propriétés dans doc/
notin
2006-03-23
*
Subtac fixes, single fixpoint definitions are working again. Added a toggle o...
msozeau
2006-03-22
*
Made pretyping a functor over a coercion implementation. Pretyping.Default us...
msozeau
2006-03-22
*
- Correction bug calcul mind_consnrealargs, introduit à la révision
herbelin
2006-03-22
*
- Réintroduction d'un parseur de pattern (q_constr.ml4) à usage de
herbelin
2006-03-22
*
+ destruct now works as induction on multiple arguments :
jforest
2006-03-21
*
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8650 85f007b7-540e-04...
letouzey
2006-03-21
*
Adding "New Functional Scheme"
jforest
2006-03-20
*
Documentation
herbelin
2006-03-18
*
MAJ documentation en syntaxe v8
herbelin
2006-03-18
*
Bug BYTEFLAGS pour compilation bin/parser
herbelin
2006-03-18
*
Documentation mutual_inductive_body
herbelin
2006-03-18
*
Bug calcul consnrealargs + bug calcul occurrences non positives + modifs cosm...
herbelin
2006-03-18
*
MAJ debugging (et arrêt support version française)
herbelin
2006-03-17
*
Modification des propriétés (svn:executable)
notin
2006-03-17
*
ajout d'un debut de proprietes pour les FSetWeak
letouzey
2006-03-17
*
deux tags $ mal formes
letouzey
2006-03-16
*
propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d...
letouzey
2006-03-16
*
afin que svn ignore les liens symb coqide et coqtop
letouzey
2006-03-16
*
Cleaning dead code
jforest
2006-03-16
*
utilisation de removeA dans FSetProperties
letouzey
2006-03-16
*
renommage NoRedun vers le plus joli NoDup
letouzey
2006-03-15
*
Typo
letouzey
2006-03-15
*
Typo
letouzey
2006-03-15
*
Ajout de fonctions sur les listes
notin
2006-03-15
*
Réparation de FSet (back to 8628)
notin
2006-03-15
*
encore un essai
letouzey
2006-03-15
*
reparation des $
letouzey
2006-03-15
*
Ajout de theories/FSets contenant la partie "light" de FSets et FMap:
letouzey
2006-03-15
*
+ Debugging and cleaning functional principle generation tactic
jforest
2006-03-14
*
r8637@thot: notin | 2006-03-14 16:00:49 +0100
notin
2006-03-14
*
r8636@thot: notin | 2006-03-14 15:57:11 +0100
notin
2006-03-14
*
Update of Subtac contrib. Add {wf n R} as an alternative to {struct n}.
msozeau
2006-03-13
*
-Debugging multiple induction, a bug appeared when having function
courtieu
2006-03-12
*
MAJ
herbelin
2006-03-10
*
cleaning
jforest
2006-03-10
*
Ajout Tutorial on recursive types
herbelin
2006-03-10
*
r8623@thot: notin | 2006-03-08 12:40:57 +0100
notin
2006-03-08
*
r8620@thot: notin | 2006-03-08 11:44:16 +0100
notin
2006-03-08
*
Coq did not compile in Ocaml 3.06 and 3.07 since Map.S did not contain is_emp...
jforest
2006-03-07
*
Modification des propriétés 'svn:ignore' pour correspondre aux .cvsignore
notin
2006-03-07
*
Liste des fichiers à ignorer lors du 'svn status'
herbelin
2006-03-03
*
Suppression de la coupure entre base et addendum (quitte à le remettre si de...
herbelin
2006-03-03
*
Inutile en svn
herbelin
2006-03-03
[next]