afl-material: langs.sty@8f3f8d82da8b (annotated)

218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	\usepackage{listings}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	\usepackage{xcolor}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	\usepackage{fontspec}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	\setmonofont[Scale=MatchLowercase]{Consolas}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	\newfontfamily{\consolas}{Consolas}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	\setmonofont{Consolas}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	\definecolor{javared}{rgb}{0.6,0,0} % for strings
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	\definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	\definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	\definecolor{javadocblue}{rgb}{0.25,0.35,0.75} % javadoc
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	\lstset{language=Java,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	basicstyle=\ttfamily,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	keywordstyle=\color{javapurple}\bfseries,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	stringstyle=\color{javagreen},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	commentstyle=\color{javagreen},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	morecomment=[s][\color{javadocblue}]{/*}{/},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19	numbers=left,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	numberstyle=\tiny\color{black},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21	stepnumber=1,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	numbersep=10pt,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23	tabsize=2,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24	showspaces=false,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25	showstringspaces=false}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27	\lstdefinelanguage{scala}{
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	morekeywords={abstract,case,catch,class,def,%
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	do,else,extends,false,final,finally,%
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30	for,if,implicit,import,match,mixin,%
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31	new,null,object,override,package,%
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	private,protected,requires,return,sealed,%
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33	super,this,throw,trait,true,try,%
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34	type,val,var,while,with,yield},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35	otherkeywords={=>,<-,<\%,<:,>:,\#,@},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36	sensitive=true,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37	morecomment=[l]{//},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	morecomment=[n]{/}{/},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	morestring=[b]",
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	morestring=[b]',
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41	morestring=[b]"""
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	\lstset{language=Scala,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	basicstyle=\ttfamily,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	keywordstyle=\color{javapurple}\bfseries,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	stringstyle=\color{javagreen},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	commentstyle=\color{javagreen},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	morecomment=[s][\color{javadocblue}]{/*}{/},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51	numbers=left,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52	numberstyle=\tiny\color{black},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	stepnumber=1,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	numbersep=10pt,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	tabsize=2,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56	showspaces=false,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57	showstringspaces=false}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59	\lstdefinelanguage{while}{
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	morekeywords={if,then,else,while,do,true,false,write,upto},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61	otherkeywords={=,!=,:=,<,>,;},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62	sensitive=true,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	morecomment=[n]{/}{/},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67	\lstset{language=While,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68	basicstyle=\ttfamily,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	keywordstyle=\color{javapurple}\bfseries,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	stringstyle=\color{javagreen},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71	commentstyle=\color{javagreen},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	morecomment=[s][\color{javadocblue}]{/*}{/},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	numbers=left,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74	numberstyle=\tiny\color{black},
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75	stepnumber=1,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	76	numbersep=10pt,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77	tabsize=2,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	78	showspaces=false,
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79	showstringspaces=false}

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Sun, 01 Dec 2013 10:18:50 +0000
changeset 218	8f3f8d82da8b
child 222	b712519b41d3
permissions	-rw-r--r--