Return to mainsmvc.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/mainsmvc.ads, Revision 1.1.1.1

1.1       maekawa     1: procedure mainsmvc ( infilename,outfilename : in string );
                      2:
                      3: -- DESCRIPTION :
                      4: --   This procedure implements the dispatcher for the mvc tool
                      5: --   by choosing the menu and calling the selected driver.
                      6: --   The arguments are the names of the input and output files.