diff --git a/collects/deinprogramm/scribblings/ka-style.tex b/collects/deinprogramm/scribblings/ka-style.tex new file mode 100644 index 0000000000..e9bbecbf4f --- /dev/null +++ b/collects/deinprogramm/scribblings/ka-style.tex @@ -0,0 +1,6 @@ +% use +% scribble --latex --style ka-style.tex ka.scrbl +% to render the document +\usepackage[utf8]{inputenc} +\usepackage{german} +\usepackage{a4}