Copyright (C) 2009, Julia Lawall, Yoann Padioleau, Nicolas Palix
Permission is granted to copy, distribute and/or modify this document
- under the terms of the GNU Free Documentation License, Version 1.3.
+ under the terms of the GNU Free Documentation License, Version 1.3;
+ with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
A copy of the license is included in the file license.txt