#MANUAL OF DRESDEN OCL FOR ECLIPSE This directory contains the manual of Dresden OCL for Eclipse. The Latex files to edit the manual are located in the 'tex' sub- directory.