How to change a default layout


INRIADidier.Parigot@inria.fr INRIA Last modified: Sat Mar 12 22:50:03 CET 2005