/*
 *
 *  (c) COPYRIGHT INRIA, 1996.
 *  Please first read the full copyright statement in file COPYRIGHT.
 *
 */
 
char *Name_patterns[] = {
 "nopattern", "foregroundcolor", "backgroundcolor","gray1",
 "gray2", "gray3", "gray4", "gray5",
 "gray6", "gray7", "horiz1", "horiz2",
 "horiz3", "vert1", "vert2", "vert3",
 "left1", "left2", "left3", "right1",
 "right2", "right3", "square1", "square2",
 "square3", "lozenge", "brick", "tile",
 "sea", "basket"
};