Using version history in educational contexts