The fastest way to repair ships after combat is to save the game and then load it....all ships should be fully repaired.