RichView is a suite of native Delphi/C++Builder components for displaying, editing and printing hypertext documents. Components support various character attributes (fonts, subscr ipts/superscr ipts, colored text background, custom drawn). Documents

a program to justify a formula in LTL logic