Changes between Initial Version and Version 1 of Ticket #30520, comment 2


Ignore:
Timestamp:
09/10/20 02:58:25 (9 months ago)
Author:
heluani
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30520, comment 2

    initial v1  
    99}}}
    1010I couldn't reproduce this on pure maxima, but I have never used it before, so it may well be there.
     11
     12EDIT: it may also be in the final conversion `max_to_sr`