type Font_type is ( Screen_9_by_15, Screen_8_by_13, Times_Roman_10, Times_Roman_24, Helvetica_10, Helvetica_12, Helvetica_18 );
procedure Text_Output
| ( | s | : String; |
| font | : Font_type ); |
procedure Text_output
| ( | x, y | : GL.Int; |
| main_size_x, main_size_y | : GL.Sizei; | |
| s | : String; | |
| font | : Font_type ); |
procedure Text_output
| ( | p | : GL.Double_Vector_3D; |
| s | : String; | |
| font | : Font_type ); |
procedure Put_Image
| ( | Image_ID | : Integer; |
| x, y | : GL.Int; | |
| size_x, size_y | : GL.Int; | |
| main_size_x, main_size_y | : GL.Sizei ); |