Commit History

Author SHA1 Message Date
  Frederic G. MARAND e23d42f4ea 5.1: Overview. Tabula rasa. 6 years ago
  Frederic G. MARAND eb773fb3ac 4.4: Advanced generics. 6 years ago
  Frederic G. MARAND 8d6b1f3ffd 3.6: Exhaustive check, discriminations. Code from 03/After. 6 years ago
  Frederic G. MARAND 0231e8f4c7 2.10: code from 02/After. 6 years ago
  Frederic G. MARAND b09bcff93f 2.2: code from 02/Before. 6 years ago