GitHub repository: marcphilipp/SoCraTesGitHubSession
Description: Working directory for the Session at SoCraTes 2013