| changeset 2659 | f50eb863599e |
| parent 2657 | 448bb82c4003 |
| child 2976 | 7c848e330a80 |
--- a/doc-src/Ref/ref.tex Thu Feb 20 15:15:17 1997 +0100 +++ b/doc-src/Ref/ref.tex Thu Feb 20 15:18:43 1997 +0100 @@ -1,5 +1,6 @@ -\documentstyle[a4,12pt,rail]{report} +\documentstyle[a4,12pt]{report} \makeatletter +\input{../rail.sty} \input{../proof209.sty} \input{../iman.sty} \input{../extra.sty}