1. bc537b6 regex, updated examples by Joachim Bingel · 11 years ago
  2. b59400d updated examples by Joachim Bingel · 11 years ago
  3. a3d2d5f updated examples by Joachim Bingel · 11 years ago
  4. 11d5b15 updated to new notation by Joachim Bingel · 11 years ago