Alessio Sergi 0ff4b0e6d5 maxima: update to 5.39.0 ... Use the rmaxima front-end which provides advanced line-editing facilities via rlwrap.		2016-12-12 16:23:42 +01:00
..
files	…
template	…