Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | displays.adb | 5304 | logplain |
-rw-r--r-- | displays.ads | 2533 | logplain |
-rw-r--r-- | grids.adb | 3287 | logplain |
-rw-r--r-- | grids.ads | 2067 | logplain |
-rw-r--r-- | main.adb | 173 | logplain |
-rw-r--r-- | misc.adb | 424 | logplain |
-rw-r--r-- | misc.ads | 412 | logplain |
-rw-r--r-- | moves.adb | 1160 | logplain |
-rw-r--r-- | moves.ads | 1081 | logplain |
-rw-r--r-- | pathfinding.adb | 5469 | logplain |
-rw-r--r-- | pathfinding.ads | 409 | logplain |
-rw-r--r-- | sokoban.adb | 11633 | logplain |
-rw-r--r-- | sokoban.ads | 194 | logplain |
-rw-r--r-- | squares.adb | 887 | logplain |
-rw-r--r-- | squares.ads | 2131 | logplain |
-rw-r--r-- | things.adb | 388 | logplain |
-rw-r--r-- | things.ads | 1021 | logplain |