Advertisement
Guest User

Untitled

a guest
Nov 10th, 2013
107
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
F# 0.71 KB | None | 0 0
  1. module TexHeaderHelper
  2.  
  3. open System.IO
  4.  
  5. let addLine (wr: StreamWriter, line:string) =    
  6.   wr.WriteLine(line)
  7.  
  8. let mainHeader (wr:StreamWriter) =
  9.   addLine(wr ,"\documentclass[a4paper,12pt]{article}")
  10.   addLine(wr, "\usepackage[T2A]{fontenc}")
  11.   addLine(wr, "\usepackage[utf8]{inputenc}")
  12.   addLine(wr, "\usepackage[russian,english]{babel}")
  13.   addLine(wr, "\usepackage[pdftex,unicode]{hyperref}")
  14.   addLine(wr, "\usepackage{indentfirst}")
  15.  
  16. let author(wr:StreamWriter, title:string, author:string, date:string) =
  17.   addLine(wr, "\title{" + title + "}")
  18.   addLine(wr, "\author{" + author + "}")
  19.   addLine(wr, "\date{" + date + "}")
  20.  
  21. let startDocument(wr:StreamWriter) =
  22.    addLine(wr, "begin{document}")
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement