I've started playing the coop campaign of Portal 2 during launch break today, and had to stop because of time constraint. I didn't find an option to save the game, so we just disconnected.
Is there a way to save the coop campaign progression? If yes, how does it work? Or will I have to play the whole campaign in a single play session?