Utilisation de l'historique local

Le JDT étend le concept d'historique local du plan de travail de trois manières :