-- elhoim is full object organizer with editor and command interpreter.
-- Elhoim is Copyright (C) 2023 Manuel De Girardi ; 
--
--   <one line to give the program's name and a brief idea of what it does.>
--   Copyright (C) 19yy  <name of author>
--
--   This program is free software; you can redistribute it and/or modify
--   it under the terms of the GNU General Public License as published by
--   the Free Software Foundation; either version 2 of the License, or
--   (at your option) any later version.
--
--   This program is distributed in the hope that it will be useful,
--   but WITHOUT ANY WARRANTY; without even the implied warranty of
--   MERCHANTABILITY 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
--   along with this program; if not, write to the Free Software
--   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
--
-- Date := "2023-05-26 17:40:38"
-- Version := "0.6.6b"
with El.Parole ;
with El.Langua ;
with El.Projec ;
with El.Engine ;
with El.Axiome ;
with El.Player ;
generic
   with package Engine is new El.Engine (<>) ; 
package El.Machin is
   use Axiome ;
   procedure Initialize(Proof : Preuve_Record);
   procedure Set (T : Terminal_Record);
      
   
private
   
   type Machine_Record;
   task type Main_Process (Machine : access Machine_Record) is
      entry Logon (User : Player);
      entry Lougout;
   end Main_Process;
   type Machine_Record is limited
      record
	 Proc : Main_Process (Machine_Record ' access) ;
      end record;
end El.Machin ;