Skip to content
  • Guillaume Leroi's avatar
    Rename predefined alphabets · 00a2a55b
    Guillaume Leroi authored
    	`ascii' has been suppress too, because the xml parser cannot handle `"',
    	and Vaucanson does not handle correctly alphabets with digits.
    	* taf-kit/src/main.cc: Rename `a-z' to letters and `a-zA-Z' to alpha.
    00a2a55b