version.texi revision 1.1.1.4 
1@set UPDATED 17 August 2020
2@set UPDATED-MONTH August 2020
3@set EDITION 1.2.0
4@set VERSION 1.2.0
5