Recent user activities on CATMA