Return to mainsmvc.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Symmetry

Initial revision

procedure mainsmvc ( infilename,outfilename : in string );

-- DESCRIPTION :
--   This procedure implements the dispatcher for the mvc tool
--   by choosing the menu and calling the selected driver.
--   The arguments are the names of the input and output files.