History

for article: Smallest grammar problem