1. 64c7251 Support for policies in first-order logic by Sapan Bhatia · 7 years ago
  2. 2ddf83a Allow fully qualified model names in xproto models by Sapan Bhatia · 7 years ago
  3. aa9ff47 Lexical units added by Dusan Klinec · 10 years ago
  4. ccaa0d9 Initial import by Dusan Klinec · 10 years ago