Background for the newinfra project (documenting the transition from old to current infrastructure)

* [The new infra project: A presentation|InfraRemake.html]
* [How to move a language from the old to the new infrastructure|HowToMoveALanguageFromTheOldInfraToTheNew.html]
* [Evaluation of different documentation generators|DocumentationGenerators.html] 
* [The Plan we had for moving to the newinfra|NewInfraPlan.html]
* [Progress during the conversion to newinfra|NewInfraProgress.html]