/maxima-main.en.tm/1.2/Mon Apr 25 11:01:33 2005//
/maxima-main.it.tm/1.1.1.1/Sun Dec 28 16:12:00 2003//
/maxima-web.en.tm/1.2/Sun Jun  5 11:32:15 2005//
D/maxima-tutorial////
