Does the Texas Lottery fund education?

Since 1992, the Texas Lottery has generated more than $40 billion in revenue for the state, which includes education and veterans' services.