2008-08-22 Gabriel Dos Reis <gdr@cs.tamu.edu> * OpenAxiom-1.2.0 has been released.