Mercurial > hg > Papers > 2015 > atton-thesis

comparison main.tex @ 26:de3397af1f8d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Temporary save
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 10 Feb 2015 15:30:01 +0900
parents 61e5659e04a9
children c684abcc781b
comparison
equal deleted inserted replaced
25:a0d91fbf4876 26:de3397af1f8d
1 \documentclass[a4j,12pt]{jreport} 1 \documentclass[a4j,12pt]{jreport}
2 \usepackage[dvipdfmx]{graphicx} 2 \usepackage[dvipdfmx]{graphicx}
3 \usepackage{mythesis} 3 \usepackage{mythesis}
4 \usepackage{multirow} 4 \usepackage{multirow}
5 \usepackage{here} 5 \usepackage{here}
6 \usepackage{listings} 6 \usepackage{listings, jlisting}
7 \usepackage{bussproofs} 7 \usepackage{bussproofs}
8 8
9 \setlength{\itemsep}{-1zh} 9 \setlength{\itemsep}{-1zh}
10 \title{圏によるプログラムの変更の形式化} 10 \title{圏によるプログラムの変更の形式化}
11 \icon{ 11 \icon{
28 28
29 %% listings settings 29 %% listings settings
30 30
31 \lstset{ 31 \lstset{
32 frame=single, 32 frame=single,
33 keepspaces=true,
33 stringstyle={\ttfamily}, 34 stringstyle={\ttfamily},
34 commentstyle={\ttfamily}, 35 commentstyle={\ttfamily},
35 identifierstyle={\ttfamily}, 36 identifierstyle={\ttfamily},
36 keywordstyle={\ttfamily}, 37 keywordstyle={\ttfamily},
37 basicstyle={\ttfamily}, 38 basicstyle={\ttfamily},