Next: Creating a L^ATEX document Up: A User Guide to Previous: How to type check

How to print RSL specifications with L^ATEX

This is done in two steps:

create a L^ATEX document as described in section 5.1
make a postscript file from the L^ATEX document as described in section 5.2

Subsections

Creating a L^ATEX document
- RSL specifications in separate text files
- RSL specifications within L^ATEX files
Creating a PostScript file from a L^ATEX document
- Under Windows
- In the E-databar

Anne Haxthausen 2003-03-13