Rev 16113 | Rev 17046 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
#if you change these limits, you have to modify var.def!
limit_var=2048
maxstep=100
wims_multiexec=pari maxima