Split old history.txt in two separate and more explicit doc files.
Authored by: reynal 2003-08-27
Parent: [r130]
Child: [r132]
