Index for "expl b batch"
BATCH - a primer on using B in batch.
COMPILE - compiling a B program in batch.
LOAD - loading a B program in batch.
OPTIONS - batch B compiler options.