Posts selection
Updated more or less frequently, some musings about the life, the universe and the rest.
Posted on 03/20/2006 05:35PM
Enfin, la déception est de courte durée si on réfléchit un peu. Je me suis aperçu que Darcs ne supporte pas les liens symboliques. En creusant un peu parmi les systèmes évolués de versionnement (donc exit CVS), on trouve que deux seulement gèrent les symlinks : subversion (centralisé) et tla (déce...
Posted on 03/16/2006 10:50PM
Il me faut noter un QCM. Je lance mon tableur, je mets les noms, je trie quand même pour m'y retrouver. Problème, les feuilles du QCM ne sont pas triées. Qu'à cela ne tienne, je fais un tri fusion (sisi, dans la vraie vie) pour les mettre en ordre. Maintenant l'ordre des feuilles correspond à l'ordr...
Posted on 03/15/2006 11:04PM
Une petite correction (il n'y a pas toutes les obligations de preuve) pour le sujet de TD en question se trouve dans la page enseignements pour cette année ici. Bonnes révisions.