The AS specification of a formalism named L must be founded in a file named L.as. Be cautious that the name of the formalism and the name used for the source file are identical (the Centaur environment for AS will warn you if it is not the case). This naming convention is used by Centaur and Typol for automatic file loading.
After successful type-checking and compiling, three files are produced. The lisp code will be found in L.as.ll and the prolog code will be found in L.as.sp. The third file, L.as.ev, contains prolog code that is only necessary to create an extension of the formalism L.
Thierry Despeyroux