Index of xlib_rubik

Directories

• Parent Directory

Files

• Makefile (964 bytes)
• bug.adb (1413 bytes)
• colors.ads (1446 bytes)
• copyright (1201 bytes)
• digits_vector.adb (6301 bytes)
• digits_vector.ads (3570 bytes)
• draw_rubiks_cube.adb (6691 bytes)
• draw_shape.adb (11939 bytes)
• draw_shape.ads (1609 bytes)
• graphics_window_manager-create_the_window.adb (4472 bytes)
• graphics_window_manager-fill_convex_polygon.adb (2535 bytes)
• graphics_window_manager-start_new_picture.adb (1834 bytes)
• graphics_window_manager.adb (3953 bytes)
• graphics_window_manager.ads (1764 bytes)
• places.ads (1421 bytes)
• rubiks_cube.adb (4379 bytes)
• rubiks_cube.ads (2010 bytes)
• shapes.ads (1892 bytes)
• topo_sort.adb (2353 bytes)
• topo_sort.ads (1676 bytes)
• units.adb (1906 bytes)
• units.ads (1705 bytes)
• xlib_rubik.adb (4994 bytes)