Maxilium Gratinus wrote:hi, I've been not playing HOL for a long time, and I forgot the password, could you help me?
my HOL-id is ma1458 Maxilium Gratinus.
thanks in advance.
sorry, I already found the password and already change it. now I'm back online in HOL hehe