aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2006-03-16Cleaning dead code jforest
2006-03-16utilisation de removeA dans FSetPropertiesletouzey
2006-03-15renommage NoRedun vers le plus joli NoDupletouzey
2006-03-15Typoletouzey
2006-03-15Typoletouzey
2006-03-15Ajout de fonctions sur les listesnotin
2006-03-15Réparation de FSet (back to 8628)notin
2006-03-15encore un essailetouzey
2006-03-15reparation des $letouzey
2006-03-15Ajout de theories/FSets contenant la partie "light" de FSets et FMap:letouzey
2006-03-14+ Debugging and cleaning functional principle generation tacticjforest
2006-03-14 r8637@thot: notin | 2006-03-14 16:00:49 +0100notin
2006-03-14 r8636@thot: notin | 2006-03-14 15:57:11 +0100notin
2006-03-13Update of Subtac contrib. Add {wf n R} as an alternative to {struct n}.msozeau
2006-03-12 -Debugging multiple induction, a bug appeared when having functioncourtieu
2006-03-10MAJherbelin
2006-03-10cleaning jforest
2006-03-10Ajout Tutorial on recursive typesherbelin
2006-03-08 r8623@thot: notin | 2006-03-08 12:40:57 +0100notin
2006-03-08 r8620@thot: notin | 2006-03-08 11:44:16 +0100notin
2006-03-07Coq did not compile in Ocaml 3.06 and 3.07 since Map.S did not contain is_emp...jforest
2006-03-07Modification des propriétés 'svn:ignore' pour correspondre aux .cvsignorenotin
2006-03-03Liste des fichiers à ignorer lors du 'svn status'herbelin
2006-03-03Suppression de la coupure entre base et addendum (quitte à le remettre si de...herbelin
2006-03-03Inutile en svnherbelin
2006-03-03Propriété svn:ignoreherbelin
2006-03-03Typoherbelin
2006-02-24Modification des propriétés des fichiers .tex (svn:executable)notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty
2006-02-23Uniformisation noms Library*.texherbelin
2006-02-23Mise à jour des Makefile, ajout licences, corrections mineures suite àherbelin
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
2006-01-27Ajout licence open publication � la doc (sous r�serve OK pour tutorial)herbelin
2005-10-14Pourquoi math goal parfois interditherbelin
2005-07-06plus de http://www.lri.fr/~letouzey/extractionletouzey
2005-05-20Updated new names of Local into Letherbelin
2005-05-05suite commit pr�c�dentherbelin
2005-05-05Copyright 2005herbelin
2005-05-05Correction du bug de contraintes d'univers dans exType (mentionn� par Georg...herbelin
2005-03-07Ajout r�f�rence Luoherbelin
2005-03-07Ajout r�f�rences Alexandre Miquelherbelin
2005-01-25Suppression cible all-ps-docs; ajout www/index.htmlherbelin
2004-12-05Correction sur signification induction doubleherbelin
2004-12-05Documentation v8 de 'set (id:=t) in ...'herbelin
2004-11-17Ajout section sur lieursherbelin
2004-11-10Am�lioration doc bases de Hintsherbelin
2004-11-10Typos et orthographeherbelin
2004-10-15Documentation 'Focus num'herbelin
2004-10-11Ajout pr�vention �chec en pr�sence de sous-typageherbelin
2004-10-08question pierre corrigenarboux
2004-10-07ajout question Pierrenarboux
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 13:35:39 +0000