The Keel prototype needs JavaScript. The
case study
works without it.