/scriptmini.f90/1.2/Tue Jul 17 22:07:09 2007//
/README/1.1/Wed May 13 13:01:27 2009//
/scriptmini.in/1.2/Wed May 13 22:07:08 2009//
/scriptmini_eval/1.2/Wed May 13 22:07:08 2009//
D
