Hi Adrian and others, Simple question: What is the pronunciation of "Ragel"? Is it "Ray-Gull" or "Rag-El" (like dish rag) or "Rage-El" ? Thanks, Landon _______________________________________________ ragel-users mailing list ragel-users at complang.org http://www.complang.org/mailman/listinfo/ragel-users