12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849(* Copyright 2004 by Troestler Christophe
Christophe.Troestler(at)umons.ac.be
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public License
version 3 as published by the Free Software Foundation, with the
special exception on linking described in file LICENSE.
This library is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the file
LICENSE for more details.
*)letautoreset=reftrueletset_autoresetb=autoreset:=btypecolor=Black|Red|Green|Yellow|Blue|Magenta|Cyan|White|Defaulttypestyle=|Reset|Bold|Underlined|Blink|Inverse|Hidden|Foregroundofcolor|Backgroundofcolorletblack=ForegroundBlackletred=ForegroundRedletgreen=ForegroundGreenletyellow=ForegroundYellowletblue=ForegroundBlueletmagenta=ForegroundMagentaletcyan=ForegroundCyanletwhite=ForegroundWhiteletdefault=ForegroundDefaultleton_black=BackgroundBlackleton_red=BackgroundRedleton_green=BackgroundGreenleton_yellow=BackgroundYellowleton_blue=BackgroundBlueleton_magenta=BackgroundMagentaleton_cyan=BackgroundCyanleton_white=BackgroundWhiteleton_default=BackgroundDefaulttypeloc=Eol|Above|Below|Screen