maxima:maxima-intern

Last commit made on 2019-03-02
Get this branch:
git clone -b maxima-intern https://git.launchpad.net/maxima

Branch merges

Branch information

Name:
maxima-intern
Repository:
lp:maxima

Recent commits

0ceb3b1... by Elias Martenson on 2019-03-02

Change calls to maxima-intern to use plain intern

Some recent commit information could not be fetched.