| tree | 6845cd645923d828d8fdd41601a30d1219986aab |
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 142511 | maxima-main.en.tm | blobblamehistoryraw |
| -rw-r--r-- | 81048 | maxima-main.it.tm | blobblamehistoryraw |
| drwxr-xr-x | - | maxima-tutorial | treehistory |
| -rw-r--r-- | 1580 | maxima-web.en.tm | blobblamehistoryraw |