--
(Versión 1.55 de 2002/05/14 a las 13:43:09)
--
 * Corregida la entrada de winedt. La había cambiado por winshell que
   aparecía en dos sitios. De paso hacemos algunos arreglos cosméticos en
   esa lista.