2001-01-13  Dekel Tsur  <dekelts@tau.ac.il>

	* text.C (InsertChar): Add ':' to number separator chars.