/* This file is autogenerated from the database. */
/* See src/desc/gen_proto */
/* Do not edit*/
entree functions_default[]={
{"TeXstyle",0,(void*)sd_TeXstyle,21,"",""},
{"breakloop",0,(void*)sd_breakloop,21,"",""},
{"colors",0,(void*)sd_colors,21,"",""},
{"compatible",0,(void*)sd_compatible,21,"",""},
{"datadir",0,(void*)sd_datadir,21,"",""},
{"debug",0,(void*)sd_debug,21,"",""},
{"debugfiles",0,(void*)sd_debugfiles,21,"",""},
{"debugmem",0,(void*)sd_debugmem,21,"",""},
{"echo",0,(void*)sd_echo,21,"",""},
{"factor_add_primes",0,(void*)sd_factor_add_primes,21,"",""},
{"factor_proven",0,(void*)sd_factor_proven,21,"",""},
{"format",0,(void*)sd_format,21,"",""},
{"graphcolormap",0,(void*)sd_graphcolormap,21,"",""},
{"graphcolors",0,(void*)sd_graphcolors,21,"",""},
{"help",0,(void*)sd_help,21,"",""},
{"histfile",0,(void*)sd_histfile,21,"",""},
{"histsize",0,(void*)sd_histsize,21,"",""},
{"lines",0,(void*)sd_lines,21,"",""},
{"linewrap",0,(void*)sd_linewrap,21,"",""},
{"log",0,(void*)sd_log,21,"",""},
{"logfile",0,(void*)sd_logfile,21,"",""},
{"nbthreads",0,(void*)sd_nbthreads,21,"",""},
{"new_galois_format",0,(void*)sd_new_galois_format,21,"",""},
{"output",0,(void*)sd_output,21,"",""},
{"parisize",0,(void*)sd_parisize,21,"",""},
{"parisizemax",0,(void*)sd_parisizemax,21,"",""},
{"path",0,(void*)sd_path,21,"",""},
{"plothsizes",0,(void*)sd_plothsizes,21,"",""},
{"prettyprinter",0,(void*)sd_prettyprinter,21,"",""},
{"primelimit",0,(void*)sd_primelimit,21,"",""},
{"prompt",0,(void*)sd_prompt,21,"",""},
{"prompt_cont",0,(void*)sd_prompt_cont,21,"",""},
{"psfile",0,(void*)sd_psfile,21,"",""},
{"readline",0,(void*)sd_readline,21,"",""},
{"realbitprecision",0,(void*)sd_realbitprecision,21,"",""},
{"realprecision",0,(void*)sd_realprecision,21,"",""},
{"recover",0,(void*)sd_recover,21,"",""},
{"secure",0,(void*)sd_secure,21,"",""},
{"seriesprecision",0,(void*)sd_seriesprecision,21,"",""},
{"simplify",0,(void*)sd_simplify,21,"",""},
{"sopath",0,(void*)sd_sopath,21,"",""},
{"strictargs",0,(void*)sd_strictargs,21,"",""},
{"strictmatch",0,(void*)sd_strictmatch,21,"",""},
{"threadsize",0,(void*)sd_threadsize,21,"",""},
{"threadsizemax",0,(void*)sd_threadsizemax,21,"",""},
{"timer",0,(void*)sd_timer,21,"",""},
{NULL,0,NULL,0,NULL,NULL} /* sentinel */
};
