-input=[casl,xml,aterm,static,nostatic,bin,nobin,empty,basic]
-input=casl,nostatic,bin,basic

-output=[tex,notex,env,noenv,graph,nograph,bin,nobin]
-output=notex,noenv,nograph,bin

-spec=[aterm,noaterm,xml,noxml]
-spec=aterm

-env=[CasEnv,FCasEnv,HCasEnv,SubPCFOL,SubCFOL,CFOL,SOL,CFOL1,SOL1,text,aterm,
      latex,noCasEnv,noFCasEnv,noHCasEnv,notext,noaterm,nolatex,xml,noxml]
-env=CasEnv,SubPCFOL,aterm

-graph=[dot,ps,davinci,nodot,nops,nodavinci]
-graph=davinci

-parser=[isabelle,yacc]
-parser=isabelle

-quiet
-noquiet