1 |
@comment -*-texinfo-*- |
@comment -*-texinfo-*- |
2 |
@comment This file was generated by doc2tex.pl from reference.doc |
@comment This file was generated by doc2tex.pl from reference.doc |
3 |
@comment DO NOT EDIT DIRECTLY, BUT EDIT reference.doc INSTEAD |
@comment DO NOT EDIT DIRECTLY, BUT EDIT reference.doc INSTEAD |
4 |
@comment $Id$ |
@comment Id: reference.tex,v 1.1 2003/08/08 14:27:06 pertusus Exp $ |
5 |
@comment this file contains the reference part of the manual |
@comment this file contains the reference part of the manual |
6 |
|
|
7 |
@c The following directives are necessary for proper compilation |
@c The following directives are necessary for proper compilation |