Modern history of East Asian martial arts
Taekwondo was developed from karate for use in the Republic of Korea Armed Forces from 1954. For this purpose, karate terminology needed to be "nationalized". The name "taekwondo" is due to shotokan practitioner and army general Choi Hong Hi. After the Korean War, Taekwondo was further developed into a purely sportive discipline, since 1973 overseen by the World Taekwondo Federation. 
During 1964-1966, Choi Hong Hi continued to promote taekwondo, working to put together a world-class exhibition team. Taekwondo's emphasis on jumping and flying kicks dates to this period. While taekwondo was based off karate, the structural changes made in the 1950s and 1960s were significant, and it cannot now be considered a branch of karate, but is a standalone modern martial art. Taekwondo was presented at the Summer Olympics as a demonstration sport in 1988 and 1992, and became an official Olympic discipline in 2000.
Taekwondo at the Summer Olympics
In 1975, taekwondo became an affiliate of the General Association of International Sports Federations (GAISF). The GAISF promotes cooperation among various international sports federations and works closely with the Olympics movement. Five years later, in 1980, the WTF was granted recognition by the IOC. The following year, taekwondo was one of the primary events in the World Games, an international competition specifically for non-Olympic events. In 1982, taekwondo was designated an official demonstration sport for the 1988 Olympic Games in Seoul, Korea, and for the 1992 Olympic Games in Barcelona, Spain.