History

for article: JED (text editor)