aboutsummaryrefslogtreecommitdiff
path: root/dev/doc
AgeCommit message (Expand)Author
2008-04-03Chgts mineurs:herbelin
2008-02-13Implement KEEP_ML4_PREPROCESSED option in build systemlmamane
2008-02-13Implement NO_RECALC_DEPS option in build systemlmamane
2007-10-29MAJherbelin
2007-10-11Allow a few build system optimisations/corner-cuttinglmamane
2007-07-25Add glob.dump to Makefile the recommended way and document thelmamane
2007-07-16Reorganise cleaning targetslmamane
2007-07-16A cleaner solution to "make deletes .ml4.d files -> infinite loop" problemlmamane
2007-07-13New bootstrapping, improved, Makefile systemcorbinea
2007-05-21MAJherbelin
2007-04-29Quelques exemples sur l'asymétrie de la conversionherbelin
2007-04-28Ajout de la possibilité d'utiliser les evars dans apply_in et elim_in.herbelin
2007-04-18- Correction d'un bug de make_clenv_binding_apply révélé par le commit 9771herbelin
2006-11-19MAJherbelin
2006-10-30MAJherbelin
2006-06-10MAJ fichier dev/doc/changes.txtherbelin
2006-05-23Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTENDherbelin
2006-05-23Restructuration dossier dev et mise à jour de certaines documentationsherbelin
2006-04-28Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...notin
2006-04-27Suppression de l'entrée devdoc dans le Makefile principal et modification en...notin
2006-03-06Deplacement du répertoire doc dans devnotin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:02:16 +0000