Subversion Repositories wimsdev

Last modification

• Rev 9336 2015-08-01 08:24:45
• Author: bpr

• Log message:

  [major] maxima option is now well interpreted (quote). By default,
  maxima dynamic-space-size is limited.