function update_header
() {
     (echo "/* -*- mode: C++; indent-tabs-mode: nil; -*-
  * This file is a part of LEMON, a generic C++ optimization library.
  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
  * (Egervary Research Group on Combinatorial Optimization, EGRES).
  * Permission to use, modify and distribute this software is granted
  * provided that this copyright notice appears in all copies. For
  * precise terms see the accompanying LICENSE file.
  * This software is provided \"AS IS\" with no warranty of any kind,
  * express or implied, and with no claim as to its suitability for any
      /\/\* / && pm==0 { pm=1;}
      /[^:blank:]/ && (pm==0 || pm==2) { pm=3; print;}
     HEADER_CH=`diff -q 
$TMP_FILE $FILE_NAME >/dev/null&&echo NO||echo YES
`
     sed -e 
's/\t/        /g' >
$TMP_FILE
    TABS_CH=`diff -q 
$TMP_FILE $FILE_NAME >/dev/null&&echo NO||echo YES
`
 function remove_trailing_space
() {
     sed -e 
's/ \+$//g' >
$TMP_FILE
    SPACES_CH=`diff -q 
$TMP_FILE $FILE_NAME >/dev/null&&echo NO||echo YES
`
 function long_line_test
() {
     cat 
$1 |grep -q -E 
'.{81,}'
    if [[ $HEADER_CH = YES 
]];
 	echo -n 
'  [header updated]'
 	echo -n 
' [tabs removed]'
     if [[ $SPACES_CH = YES 
]];
 	echo -n 
' [trailing spaces removed]'
     echo Update all 
source files...
     for i in 
`hg manifest|grep -E  
'\.(cc|h|dox)$'`
 echo $CHANGED_FILES out of 
$TOTAL_FILES files has been changed.
 if [[ $LONG_LINE_FILES -gt 1 
]]; 
then
     echo WARNING: 
$LONG_LINE_FILES files contains long lines!    
 elif [[ $LONG_LINE_FILES -gt 0 
]]; 
then
     echo WARNING: a file contains long lines!