doc-src/AxClass/style.tex
changeset 6623 021728c71030
parent 3286 321f49dae373
child 7828 85d7dd40106a
--- a/doc-src/AxClass/style.tex	Mon May 10 15:35:03 1999 +0200
+++ b/doc-src/AxClass/style.tex	Mon May 10 16:35:22 1999 +0200
@@ -1,9 +1,7 @@
 
 \documentclass[11pt,a4paper,fleqn]{article}
-\usepackage{english}
-\usepackage{a4}
-\usepackage{bbb}
-
+\usepackage{english,a4,bbb,../pdfsetup}
+\usepackage[latin1]{inputenc}
 
 \makeatletter
 
@@ -358,3 +356,8 @@
 
 \makeatother
 
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: t
+%%% End: