back in time #LC session 095 with Isabelle dressed in #latex