Komit Sejarah

Pembuat SHA1 Pesan Tanggal
  Philip Lacroix 6f6a902299 academic/aris: Updated for version 2. New maintainer. 3 tahun lalu
  B. Watson 3636279c9b academic/aris: New maintainer. 4 tahun lalu
  Willy Sudiarto Raharjo 9d6abe0415 academic/aris: Updated for version 2.1.1. 11 tahun lalu
  Juan M. Lasca 17ef36e40e academic/aris: Added (sequential proof program) 11 tahun lalu