| Age | Commit message (Expand) | Author |
|---|
| 2006-12-11 | Changement dans le kernel : | bgregoir |
| 2006-10-26 | Déplacement des propriétés générales de BinList dans List et des tactiqu... | herbelin |
| 2006-09-01 | Indentation + typo | notin |
| 2006-07-09 | Argument Scope de list déplacé dans List.v | herbelin |
| 2006-07-06 | Quelques Hint inutiles | herbelin |
| 2006-05-28 | - Déplacement des types paramétriques prod, sum, option, identity, | herbelin |
| 2006-05-23 | Changement de précédence de l'argument du by de assert; conséquences... | herbelin |
| 2006-05-22 | un debut de propriétés concernant FMap | letouzey |
| 2006-05-17 | Typo dans List.v | notin |
| 2006-05-17 | Ajout de [count_occ] dans List.v | notin |
| 2006-05-16 | etoffage des notions de permutations (a la fois List.Permutation et Permutati... | letouzey |
| 2006-05-15 | petit ajout concernant InA | letouzey |
| 2006-05-14 | In_dec de nouveau transparent | letouzey |
| 2006-05-11 | decidabilite de InA | letouzey |
| 2006-05-11 | Duplication du fichier FSetProperties pour les ensembles Weak. | letouzey |
| 2006-05-11 | r9089@thot: notin | 2006-05-10 14:40:51 +0200 | notin |
| 2006-04-28 | Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '... | notin |
| 2006-04-06 | versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmes | letouzey |
| 2006-04-06 | versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmes | letouzey |
| 2006-03-17 | Modification des propriétés (svn:executable) | notin |
| 2006-03-16 | propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d... | letouzey |
| 2006-03-16 | utilisation de removeA dans FSetProperties | letouzey |
| 2006-03-15 | 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 | Ajout de theories/FSets contenant la partie "light" de FSets et FMap: | letouzey |
| 2006-02-22 | MAJ | herbelin |
| 2005-11-30 | changement parametres inductifs dans les theories | mohring |
| 2005-03-16 | MAJ PolyList -> List | herbelin |
| 2004-12-19 | In_dec transparent (wish #902) | herbelin |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2004-03-28 | Passage a un 'if-then-else' ou ne sont mentionnes que les membres droits qui ... | herbelin |
| 2003-12-24 | Ajout delimiteur et arguments de scope pour list | herbelin |
| 2003-12-15 | modif existentielle (exists | --> exists ,) + bug d'affichage des pt fixes | barras |
| 2003-11-29 | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | herbelin |
| 2003-10-23 | Commentaires | herbelin |
| 2003-10-22 | reorganisation des niveaux (ex: = est a 70) | barras |
| 2003-10-15 | Nettoyage argument de nil | herbelin |
| 2003-10-10 | MAJ commentaires | herbelin |
| 2003-10-10 | Renommage en v8 de PolyList en List et List en MonoList | herbelin |
| 2003-10-10 | Renommage en v8 de PolyList en List et List en MonoList | herbelin |
| 2003-10-03 | Cacher les .v8 | herbelin |
| 2003-09-26 | Induction -> NewInduction; '++' pour app | herbelin |
| 2003-09-24 | Destruct/Induction -> NewDestruct/NewInduction | herbelin |
| 2003-09-22 | Implicits maintenant au courant pour l'affichage | herbelin |
| 2003-09-21 | Changement de la politique de V8only: V8only tout seul signifie | herbelin |
| 2003-09-19 | '::' est deja pris en V7 | herbelin |
| 2003-09-19 | Ajout notation :: pour cons | herbelin |
| 2003-04-10 | Calcul automatique de l'implicite de nil pour que l'affichage sache le traiter | herbelin |
