Introduction

This document contains a user guide to how RSL specifications can be type checked and printed with L^ATEX using the RAISE tools developed at UNU/IIST.

The guide assumes that you have

• either installed the tools at a Windows PC using the course cd and its installation guide,
• or you use the tools in the DTU Linux E-databar and have modified your .emacs file as described in section 2.

In sections 3-5 it is described how to use the tools in three steps:

• create a text file containing the considered specification
• type check the specification
• print the specification with L^ATEX