[31m-- main is main file of main project written with Ada.[m
[31m-- Main is Copyright (C) 2025 Manuel De Girardi ; [m
[31m--[m
[31m--   This program is free software; you can redistribute it and/or modify[m
[31m--   it under the terms of the GNU General Public License as published by[m
[31m--   the Free Software Foundation; either version 2 of the License, or[m
[31m--   (at your option) any later version.[m
[31m--[m
[31m--   This program is distributed in the hope that it will be useful,[m
[31m--   but WITHOUT ANY WARRANTY; without even the implied warranty of[m
[31m--   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the[m
[31m--   GNU General Public License for more details.[m
[31m--[m
[31m--   You should have received a copy of the GNU General Public License[m
[31m--   along with this program; if not, write to the Free Software[m
[31m--   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA[m
[31m--[m
[31m-- Date := 2025-06-25 13:06:35 ; [m
[31m-- Version := 0.4.0r ; [m
[01;34mwith[m Gnat[31m.[mOs_Lib[31m;[m
[01;34muse[m Gnat[31m.[mOs_Lib[31m;[m
[01;34mwith[m m[31m.[mStrings[31m;[m
[01;34muse[m M[31m.[mStrings[31m;[m
[01;34mwith[m Sky[31m;[m
[01;34muse[m Sky[31m;[m
[01;34mwith[m Sai[31m;[m
[01;34muse[m Sai[31m;[m
[01;34mwith[m M[31m.[mMain_Game[31m;[m
[01;34muse[m M[31m.[mMain_Game[31m;[m
[01;34mwith[m M[31m.[mEngineering[31m;[m
[01;34mgeneric[m
   [01;34mwith[m [01;34mpackage[m Engineer [01;34mis[m [01;34mnew[m M[31m.[m[01;30mEngineering[m [31m(<>);[m
   Engy [31m:[m [01;34maccess[m Engineer[31m.[mEngineering_Record[31m;[m
[01;34mpackage[m M[31m.[mServers [01;34mis[m
   
   [01;34mtask[m Server [01;34mis[m
      [01;34mentry[m Initialize[31m;[m
      [01;34mentry[m Start[31m;[m
      [01;34mentry[m [01;30mStandby[m [31m([mEnd_Of_Program [31m:[m [01;34mout[m [32mBoolean[m[31m);[m
      [01;34mentry[m Stop[31m;[m
      [01;34mentry[m Halt[31m;[m
   [01;34mend[m Server[31m;[m
   
   
   
   
   Current_Game [31m:[m M[31m.[mMain_Game[31m.[m[01;30mMain_Game[m[31m([m[35m10[m[31m);[m
   
   [01;34mprocedure[m Game_Save[31m;[m
   [01;34mprocedure[m Game_Restore[31m;[m
   
   
   [01;34mprocedure[m Ctrl_C_Procedure[31m;[m

[01;34mend[m M[31m.[mServers [31m;[m 
