Download Language, Style and Format drivers for Listings

2946
2947
2948
2949
2950
2951
2952
2953
2954
2955
2956
2957
2958
deffunc,define,definition,definitions,defpred,end,environ,equals,%
ex,exactly,existence,for,from,func,given,hence,hereby,holds,%
idempotence,if,iff,implies,involutiveness,irreflexivity,is,it,%
let,means,mode,non,not,notation,now,of,or,otherwise,over,per,%
pred,prefix,projectivity,proof,provided,qua,reconsider,redefine,%
reflexivity,requirements,reserve,scheme,schemes,section,selector,%
set,st,struct,such,suppose,symmetry,synonym,take,that,the,then,%
theorem,theorems,thesis,thus,to,transitivity,uniqueness,%
vocabulary,where},%
sensitive=t,%
morecomment=[l]::%
}[keywords,comments]%
h/lang3i
2.47
ML
Thanks to Torben Hoffmann for providing the definition.
2959
h∗lang2i
%%
%% ML definition (c) 1999 Torben Hoffmann
2962 %%
2963 \lst@definelanguage{ML}%
2964
{morekeywords={abstype,and,andalso,as,case,do,datatype,else,end,%
2965
eqtype,exception,fn,fun,functor,handle,if,in,include,infix,%
2966
infixr,let,local,nonfix,of,op,open,orelse,raise,rec,sharing,sig,%
2967
signature,struct,structure,then,type,val,with,withtype,while},%
2968
sensitive,%
2969
morecomment=[n]{(*}{*)},%
2970
morestring=[d]"%
2971
}[keywords,comments,strings]%
2960
2961
2972
h/lang2i
2.48
Modula-2
Took data from
• Niklaus Wirth: Programmieren in Modula-2, Übers. Guido Pfeiffer; 2.
Auflage – Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong:
Springer, 1991; ISBN 3-540-51689-1.
2973
h∗lang3i
\lst@definelanguage{Modula-2}%
{morekeywords={AND,ARRAY,BEGIN,BY,CASE,CONST,DIV,DO,ELSE,ELSIF,END,%
2976
EXIT,EXPORT,FOR,FROM,IF,IMPLEMENTATION,IMPORT,IN,MOD,MODULE,NOT,%
2977
OF,OR,POINTER,PROCEDURE,QUALIFIED,RECORD,REPEAT,RETURN,SET,THEN,%
2978
TYPE,UNTIL,VAR,WHILE,WITH,ABS,BITSET,BOOLEAN,CAP,CARDINAL,CHAR,%
2979
CHR,DEC,EXCL,FALSE,FLOAT,HALT,HIGH,INC,INCL,INTEGER,LONGCARD,%
2980
LONGINT,LONGREAL,MAX,MIN,NIL,ODD,ORD,PROC,REAL,SIZE,TRUE,TRUNC,%
2974
2975
75