← Back to branch summary

~ubuntu-branches/ubuntu/wily/agda/wily-proposed

« back to all changes in this revision

Viewing changes to notes/papers/iird/lhs2TeX.sty

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2014-08-05 06:38:12 UTC
  • mfrom: (1.1.6)
  • Revision ID: package-import@ubuntu.com-20140805063812-io8e77niomivhd49
Tags: 2.4.0.2-1
* [6e140ac] Imported Upstream version 2.4.0.2
* [2049fc8] Update Build-Depends to match control
* [93dc4d4] Install the new primitives
* [e48f40f] Fix typo dev→doc

Show diffs side-by-side

added added

removed removed

Lines of Context:
notes/papers/iird/lhs2TeX.sty
1
 
\makeatletter
2
 
 
3
 
%if latex209
4
 
\input{amstext.sty}
5
 
\input{amssymb.sty}
6
 
\input{stmaryrd.sty}
7
 
\newcommand\ensuremath[1]{\ifmmode#1\else\mbox{$#1$}\fi}
8
 
%if euler
9
 
\input{euler.sty}
10
 
%endif
11
 
%else
12
 
\usepackage{amstext}
13
 
\usepackage{amssymb}
14
 
\usepackage{stmaryrd}
15
 
%if euler
16
 
\usepackage{euler}
17
 
%endif
18
 
%endif
19
 
%if not latex209
20
 
\DeclareFontFamily{OT1}{cmtex}{}
21
 
\DeclareFontShape{OT1}{cmtex}{m}{n}
22
 
  {<5><6><7><8>cmtex8
23
 
   <9>cmtex9
24
 
   <10><10.95><12><14.4><17.28><20.74><24.88>cmtex10}{}
25
 
\DeclareFontShape{OT1}{cmtex}{m}{it}
26
 
  {<-> ssub * cmtt/m/it}{}
27
 
\newcommand{\texfamily}{\fontfamily{cmtex}\selectfont}
28
 
%if underlineKeywords
29
 
\usepackage{ulem}\normalem
30
 
%else
31
 
\DeclareFontShape{OT1}{cmtt}{bx}{n}
32
 
  {<5><6><7><8>cmtt8
33
 
   <9>cmbtt9
34
 
   <10><10.95><12><14.4><17.28><20.74><24.88>cmbtt10}{}
35
 
\DeclareFontShape{OT1}{cmtex}{bx}{n}
36
 
  {<-> ssub * cmtt/bx/n}{}
37
 
\newcommand{\tex}[1]{\text{\texfamily#1}}       % NEU
38
 
%endif
39
 
%endif
40
 
 
41
 
\newcommand{\Sp}{\hskip.33334em\relax}
42
 
%if (style == math) || (style == poly)
43
 
%if times
44
 
\usepackage{times}\renewcommand{\ttdefault}{cmtt}
45
 
\SetMathAlphabet{\mathrm}{normal}{OT1}{ptm}{m}{n}
46
 
\SetMathAlphabet{\mathbf}{normal}{OT1}{ptm}{bx}{n}
47
 
\SetMathAlphabet{\mathit}{normal}{OT1}{ptm}{m}{it}
48
 
%endif
49
 
 
50
 
%if style == math
51
 
\newlength{\lwidth}\setlength{\lwidth}{4.5cm}
52
 
\newlength{\cwidth}\setlength{\cwidth}{8mm} % 3mm
53
 
%endif
54
 
 
55
 
%if latex209
56
 
\newcommand{\Conid}[1]{{\mathit #1}}
57
 
\newcommand{\Varid}[1]{{\mathit #1}}
58
 
\newcommand{\anonymous}{\_}
59
 
%else
60
 
\newcommand{\Conid}[1]{\mathit{#1}}
61
 
\newcommand{\Varid}[1]{\mathit{#1}}
62
 
\newcommand{\anonymous}{\kern0.06em \vbox{\hrule\@@width.5em}}
63
 
%endif
64
 
\newcommand{\plus}{\mathbin{+\!\!\!+}}
65
 
\newcommand{\bind}{\mathbin{>\!\!\!>\mkern-6.7mu=}}
66
 
\newcommand{\sequ}{\mathbin{>\!\!\!>}}
67
 
%if not standardsymbols
68
 
\renewcommand{\leq}{\leqslant}
69
 
\renewcommand{\geq}{\geqslant}
70
 
%endif
71
 
%endif
72
 
%if style == poly
73
 
\usepackage{polytable}
74
 
 
75
 
%mathindent has to be defined
76
 
\@@ifundefined{mathindent}%
77
 
  {\newdimen\mathindent\mathindent\leftmargini}%
78
 
  {}%
79
 
 
80
 
\def\resethooks{%
81
 
  \global\let\SaveRestoreHook\empty
82
 
  \global\let\ColumnHook\empty}
83
 
\newcommand*{\savecolumns}[1][default]%
84
 
  {\g@@addto@@macro\SaveRestoreHook{\savecolumns[#1]}}
85
 
\newcommand*{\restorecolumns}[1][default]%
86
 
  {\g@@addto@@macro\SaveRestoreHook{\restorecolumns[#1]}}
87
 
\newcommand*{\aligncolumn}[2]%
88
 
  {\g@@addto@@macro\ColumnHook{\column{#1}{#2}}}
89
 
 
90
 
\resethooks
91
 
 
92
 
%if standardsymbols
93
 
\newcommand{\onelinecommentchars}{\quad--- }
94
 
%else
95
 
\newcommand{\onelinecommentchars}{\quad-{}- }
96
 
%endif
97
 
\newcommand{\commentbeginchars}{\enskip\{-}
98
 
\newcommand{\commentendchars}{-\}\enskip}
99
 
 
100
 
\newcommand{\visiblecomments}{%
101
 
  \let\onelinecomment=\onelinecommentchars
102
 
  \let\commentbegin=\commentbeginchars
103
 
  \let\commentend=\commentendchars}
104
 
 
105
 
\newcommand{\invisiblecomments}{%
106
 
  \let\onelinecomment=\empty
107
 
  \let\commentbegin=\empty
108
 
  \let\commentend=\empty}
109
 
 
110
 
\visiblecomments
111
 
 
112
 
\newlength{\blanklineskip}
113
 
\setlength{\blanklineskip}{1mm}
114
 
 
115
 
\newcommand{\hsindent}[1]{\quad}% default is fixed indentation
116
 
%endif
117
 
\newcommand{\NB}{\textbf{NB}}
118
 
\newcommand{\Todo}[1]{$\langle$\textbf{To do:}~#1$\rangle$}
119
 
 
120
 
\makeatother