\font-encoding			iso8859-1
\display-encoding		iso8859-1
\messages-encoding		utf-8
\verilog-encoding		utf-8
\postscript-encoding	utf-8
\language				català
@opt.sidebar.width			*400
@opt.tree.width				*250
