1 files changed, 1 insertions, 0 deletions
diff --git a/HISTORY b/HISTORY
index f5f1054..ca87471 100644
--- a/HISTORY
+++ b/HISTORY
@@ -113,6 +113,7 @@ ____-__-__: Version 1.3
 - Added documentation of new attributes introduced by chr13-optimizations
   (references #142)
 - Updated README.de
+- Completed documentation of new tokens (closes #142)
 
 2009-06-01: Version 1.2