Added texsty (only current version)