* 3.0.3   Mon Sep  3 23:01:31 2001
  - gringo_Quit was not reentrant, fixed

* 3.0.2   Fri Jul 20 00:13:51 2001
  - listbox and grid display now the selected item also when it has not the
    focus on it
    
* 3.0.1   Sun Jul  1 09:27:14 2001
  - gringosh has now the -o flag to specify an output file rather than stderr
  - fix for the bug the disallow terminal to flush out chars on \n
  
* 3.0.0   Wed Jun 20 18:25:15 2001
  - first public release;
  - libgringo and gringosh are released togheter;
  - compile and run also under FreeBSD;
  
