old mode 100644
new mode 100755
--- a/HISTORY
+++ b/HISTORY
@@ -1,9 +1,9 @@
#======================================================================
# H I S T O R Y
# doc: Thu May 7 13:12:05 2015
-# dlm: Tue Nov 27 12:57:11 2018
+# dlm: Tue Nov 27 13:14:17 2018
# (c) 2015 A.M. Thurnherr
-# uE-Info: 184 51 NIL 0 0 70 0 2 4 NIL ofnI
+# uE-Info: 188 70 NIL 0 0 72 0 2 4 NIL ofnI
#======================================================================
May 7, 2015:
@@ -184,3 +184,5 @@
- update version number in [ants.pl] [.hg/hgrc]
- updated HISTORY
- published V7.1
+
+----------------------------------------------------------------------