Outils pour utilisateurs

Outils du site


doc:axiom:travaux

Travaux en cours

Utiliser noweb standard

Utiliser gcl standard

Utiliser po4a pour « bookvol1 »

  • Il faut faire passer les parties noweb en verbatim.
doc/axiom/travaux.txt · Dernière modification: 2006/04/12 22:13 par lehobey