procedure SPELLER is an interactive spell checking utility.
-- The "default" format shall be interactive.
-- Options shall allow the user to
--        1.  enable auxiliary dictionary search
--        2.  merge two or more dictionaries together
--        3.  list the contents of a specified dictionary
--        4.  execute in batch mode
--        5.  generate an output file containing all suspect words.
--        6.  disable the MASTER dictionary and or enable the ACRONYM
--            dictionary.
-- This procedure will establish the first level user interface.
-- From this level the user will be able to access the HELP facility,
-- MERGE two or more dictionaries, LIST out a dictionary and begin the
-- spell checking process of a document.

   procedure DISPLAY_TITLE_PAGE;
   -- the procedure which output the title page.

   procedure DISPLAY_COMMAND_CHOICES;
   -- will display the first level commands

   procedure BEGIN_DOCUMENT_CHECK;
   -- will collect all the necessary information needed to spell check a user
   -- document.

   procedure BEGIN_MERGE_OPERATIONS;
   -- will merge two or more user specified dictionaries.

   procedure BEGIN_DICTIONARY_LIST;
   -- will list to an output test file the contents of the specified
   -- dictionary.

   package DICTIONARY_MANAGER is
   -- the package which will encapsulate all
   -- dictionary operations which include but in not limited to MERGING
   -- dictionaries, LISTing dictionaries as well as dictionary searches.

-- This tool will where input and output is concerned interface with the
-- VIRTUAL TERMINAL NOSC tool.

   package TITLE_PAGE is new TITLE_PAGE_PACKAGE
	   (DEVELOPING_ORGANIZATION    => "Texas Instruments, Inc.",
	    AUTHOR                    => "David A. Derr",
	    CONTACT                   => "John Foreman",
	    ADDRESS                   => ("P.O. Box 801",
					   "MS","8007"),
					   "McKinney Texas 75069",
	   PHONE                      => (214,952,2090),
	   DATE_SUBMITTED             => (03,Dec,1984));

  package TECHNICAL PARAMETERS is new TECHNICAL_PARAMETERS_PACKAGE
	  (LINES_OF_SOURCE_CODE        => 3000,
	   DEVELOPMENT_COMPILER        => (DG MV10000, ADE)
	   planned_compiler_support    => ( data_general, ADE )
							      );


  package DEVELOPMENT_SCHEDULE_AND_STATUS is new SCHEDULE_PACKAGE
	  (COMPLETED_EVENTS            => ((CDR,(14,Dec,1984)),
	   scheduled_events         => ( (acceptance_tests, (15,Jan,1985) ),
					 (delivery, (1,Mar,1985) )  )
								    );

end SPELLING_CHECKER;