Cette section contient de la documentation sur différents
logiciels :
LaTeX : un logiciel très
puissant de traitement de texte (les documents produits sont d'une
qualité typographique excellente) ;
Mozilla : une suite de
logiciels pour Internet, comprenant en particulier un excellent
navigateur Web et un module de gestion des mails et de lecture des
news ;
le contrôle de versions avec
RCS : un petit logiciel permettant de gérer
différentes versions d'un seul fichier (aide-mémoire de Roberto
Di Cosmo);
le contrôle de versions avec
CVS : un logiciel très puissant pour gérer
différentes versions de beaucoup de fichiers produits éventuellement
par de multiples utilisateurs.