scsh-conservatory
/
scsh-0.6
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Preparations for 0.6.7 release

This commit is contained in:
mainzelm 2005-10-18 13:34:14 +00:00
parent e28875cd51
commit 7dbf2eca7c
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build/minor-version-number
View File

@ -1 +1 @@
6.6 6.7

4
doc/scsh-manual/front.tex
View File

@ -1,9 +1,9 @@
%&latex -*- latex -*- %&latex -*- latex -*-
\title{Scsh Reference Manual} \title{Scsh Reference Manual}
\subtitle{For scsh release 0.6.6} \subtitle{For scsh release 0.6.7}
\author{Olin Shivers, Brian D.~Carlstrom, Martin Gasbichler, and Mike Sperber} \author{Olin Shivers, Brian D.~Carlstrom, Martin Gasbichler, and Mike Sperber}
\date{March 2004} \date{October 2005}
\maketitle \maketitle
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4
doc/scsh-manual/man.tex
View File

@ -13,7 +13,7 @@
\input{pdfcond} \input{pdfcond}
\ifpdf \ifpdf
\usepackage[pdftex,hyperindex, \usepackage[pdftex,hyperindex,
pdftitle={scsh manual, release 0.6.5}, pdftitle={scsh manual, release 0.6.7},
pdfauthor={Olin Shivers, Brian D.~Carlstrom, Martin Gasbichler, pdfauthor={Olin Shivers, Brian D.~Carlstrom, Martin Gasbichler,
and Mike Sperber} and Mike Sperber}
colorlinks=true,linkcolor=blue,pagecolor=blue,urlcolor=blue, colorlinks=true,linkcolor=blue,pagecolor=blue,urlcolor=blue,
@ -22,7 +22,7 @@
\usepackage{tocbibind} \usepackage{tocbibind}
\else \else
\usepackage[dvipdfm,hyperindex,hypertex, \usepackage[dvipdfm,hyperindex,hypertex,
pdftitle={scsh manual, release 0.6.5}, pdftitle={scsh manual, release 0.6.7},
pdfauthor={Olin Shivers, Brian D.~Carlstrom, Martin Gasbichler, pdfauthor={Olin Shivers, Brian D.~Carlstrom, Martin Gasbichler,
and Mike Sperber} and Mike Sperber}
colorlinks=true,linkcolor=blue,pagecolor=blue,urlcolor=blue, colorlinks=true,linkcolor=blue,pagecolor=blue,urlcolor=blue,