That was the formalization. Hungarian independence in 1848 was the catalyst (and is still celebrated today; I'm pretty sure that's March 17, but there are so damn many significant dates in 1000 years of Hungarian history that I frankly can't remember half of them).
The Hungarian independence of 1848 was really pretty damned cool, actually. It would have changed the world had it survived.