
/* ###-------------------------------------------------------------------### */
/*									     */
/* file		: titres.h						     */
/*									     */
/* ###-------------------------------------------------------------------### */


char *TitrePrincipal = "F S M   S Y N T H E S I S";
int   NbrPrincipal = 7;
char *ListPrincipal[] = { "[1] Edit <FILE_NAME>",
        "[2] compilation of <FILE_NAME> ",
        "[3] Synthesis of <FILE_NAME> with MUSTANG encoding",
        "[4] Synthesis of <FILE_NAME> with ASP encoding",
        "[5] Synthesis of <FILE_NAME> with ALEATOIRE encoding",
        "[6] Synthesis of <FILE_NAME> with a specified encoding file",
	    "[7] Quit" };
char *TitrePrincipalRelax = "RELAX  :  F S M   S Y N T H E S I S";
int   NbrPrincipalRelax = 7;
char *ListPrincipalRelax[] = { "[1] Edit <FILE_NAME>",
        "[2] compilation of <FILE_NAME> ",
        "[3] Synthesis of <FILE_NAME> with MUSTANG encoding",
        "[4] Synthesis of <FILE_NAME> with ASP encoding",
        "[5] Synthesis of <FILE_NAME> with ALEATOIRE encoding",
        "[6] Synthesis of <FILE_NAME> with a specified encoding file",
	    "[7] Return" };
