Early on November 2 , Tropical Storm Tomas re-intensified slightly , but later weakened to a tropical depression .
On November 3 , it weakened into Tropical Depression Tomas .