| changeset 1186 | 906c32af858d |
| parent 873 | 0cfc734e3dbd |
| child 1877 | 3063f6b7a189 |
--- a/doc-src/Ref/ref.tex Tue Jul 25 16:50:48 1995 +0200 +++ b/doc-src/Ref/ref.tex Tue Jul 25 16:52:08 1995 +0200 @@ -1,4 +1,4 @@ -\documentstyle[a4,12pt,rail,proof,iman,extra]{report} +\documentstyle[a4,12pt,rail,proof209,iman,extra]{report} %% $Id$ %%\includeonly{} %%% to index ids: \[\\tt \([a-zA-Z0-9][a-zA-Z0-9_'.]*\) [\\ttindexbold{\1}