------------------------------------------------------------------------------
--                                                                          --
--               ASIS TEST INTERPRETER (ASIStint) COMPONENTS                --
--                                                                          --
--                        A S I S T I N T . H E L P                         --
--                                                                          --
--                                 S p e c                                  --
--                                                                          --
--            Copyright (c) 1995, 1996, LGL-EPFL, Switzerland               --
--                                                                          --
-- ASIStint  is  free  software;  you  can redistribute it and/or modify it --
-- under terms of the  GNU General Public License  as published by the Free --
-- Software Foundation;  either version 2,  or  (at your option)  any later --
-- version.  ASIStint is distributed  in  the  hope that it will be useful, --
-- but WITHOUT ANY WARRANTY; without even the implied warranty of  MERCHAN- --
-- TABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public --
-- License  for  more details.  You  should have received a copy of the GNU --
-- General Public License  distributed with ASIS-for-GNAT; see file COPYING.--
-- If not, write to  the Free Software Foundation,  59 Temple Place - Suite --
-- 330,  Boston, MA 02111-1307, USA.                                        --
--                                                                          --
-- ASIStint  is being developed now  by  the  ASIS  team  at  the  Software --
-- Engineering Laboratory of  the  Swiss  Federal  Institute  of Technology --
-- (LGL-EPFL) in Lausanne, Switzerland, in cooperation with  the Scientific --
-- Research Computer Center  of  Moscow State University (SRCC MSU), Russia.--
--                                                                          --
------------------------------------------------------------------------------

with ASIStint.S_Parser; use ASIStint.S_Parser;

package ASIStint.Help is

------------------------------------------------------------------------------
-- ASIStint Help System
------------------------------------------------------------------------------

  procedure Help (NP: Node_Position);
  -- Help system: provides
  --   general help
  --   help on ASIStint commands
  --   help on ASIS queries

  procedure ASISHelp;
  -- ASIS and ASIStint tech info

end ASIStint.Help;