Added new BeanShell script ; updated DOS batches for MikTeX.
Authored by: reynal 2002-08-05
Parent: [r31]
Child: [r33]
