This document provides an overview of ProModel, a simulation and animation tool for modeling manufacturing systems. It describes the key modeling elements in ProModel including locations, entities, path networks, resources, processing, arrivals, shifts, attributes, variables, arrays, macros, subroutines and more. It also discusses how models are developed graphically in ProModel and how simulation results can be displayed.