/init-mupad.scm/1.7/Thu Jun 23 16:09:40 2005//
/mupad-input.scm/1.3/Tue May  3 15:59:50 2005//
/mupad-menus.scm/1.4/Sun Oct  9 17:52:21 2005//
D
