/init-maxima.scm/1.13/Wed Jun 21 17:17:27 2006//
/maxima-input.scm/1.5/Thu Jun 23 15:34:22 2005//
/maxima-menus.scm/1.12/Wed Jun 28 15:49:37 2006//
D
