%% 
%% ECMA-367 and pre-ECMA-367 Eiffel
%% (c) 2006 Martin Piskernig <martin.piskernig@univie.ac.at>
%%
%% Replace your lstlang2.sty's Eiffel section with the following:
%%
\lst@definelanguage{Eiffel}%
  {morekeywords={agent,alias,all,and,ANY,as,assign,attribute,%
			 BIT,BOOLEAN,CHARACTER,CHARACTER_8,CHARACTER_32,check,class,convert,%
			 create,creation,Current,debug,deferred,do,DOUBLE,else,elseif,end,%
	         ensure,EXCEPTION,expanded,export,external,False,feature,from,frozen,FUNCTION,if,%
	         implies,indexing,infix,inherit,inspect,INTEGER,INTEGER_8,INTEGER_16,INTEGER_32,%
		 	 INTEGER_64,NATURAL,NATURAL_8,NATURAL_16,NATURAL_32,NATURAL_64,invariant,is,%
	         like,local,loop,NONE,not,note,obsolete,old,once,only,or,Precursor,PREDICATE,PROCEDURE,POINTER,prefix,%
	         REAL,REAL_32,REAL_64,redefine,rename,require,rescue,Result,retry,select,%
	         separate,STRING,STRING_8,STRING_32,then,True,TUPLE,TYPE,TYPED_POINTER,undefine,unique,until,variant,%
	         Void,when,xor},%
   sensitive,%
   morecomment=[l]--,%
   morestring=[d]",%
  }[keywords,comments,strings]%