Update of /cvsroot/hol/hol98/Manual/Reference
In directory usw-pr-cvs1:/tmp/cvs-serv14121/Reference
Modified Files:
Makefile reference.tex title.tex
Log Message:
Printed manuals now have lantern logo on front page. After discussion with
Mike, also decided that attribution line on bottom of title pages (listing
DSTO, SRI and University of Cambridge) could go. Slightly updated
text in Description to reflect the fact that hol.unquote corresponds
to having done an open bossLib.
Index: Makefile
===================================================================
RCS file: /cvsroot/hol/hol98/Manual/Reference/Makefile,v
retrieving revision 1.9
retrieving revision 1.10
diff -b -C2 -d -r1.9 -r1.10
*** Makefile 13 Dec 2001 17:36:10 -0000 1.9
--- Makefile 28 May 2002 16:34:30 -0000 1.10
***************
*** 63,81 ****
/bin/sh bin/doc-to-tex ${D2TSED} ${Helpd}/THEOREMS/tydefs theorems.tex
! reference:
latex reference.tex
! pdf:
! pdflatex reference.tex
!
! ps:
! dvips -f reference.dvi > reference.ps
! index:
! ${MAKEINDEX} reference.idx
! all:
! make clean; make tex && (make reference; make index; make reference; \
! make pdf ps)
thmdoc:
--- 63,79 ----
/bin/sh bin/doc-to-tex ${D2TSED} ${Helpd}/THEOREMS/tydefs theorems.tex
! reference.dvi: ids reference.tex
! (cd ../Logo ; make) # makes the lantern logo
! latex reference.tex
! ${MAKEINDEX} reference.idx
latex reference.tex
! reference.pdf: reference.ps
! ps2pdf reference.ps
! reference.ps: reference.dvi
! dvips -Ppdf -G0 -f reference.dvi > reference.ps
! all: reference.ps reference.pdf
thmdoc:
Index: reference.tex
===================================================================
RCS file: /cvsroot/hol/hol98/Manual/Reference/reference.tex,v
retrieving revision 1.7
retrieving revision 1.8
diff -b -C2 -d -r1.7 -r1.8
*** reference.tex 18 Feb 2000 15:02:16 -0000 1.7
--- reference.tex 28 May 2002 16:34:30 -0000 1.8
***************
*** 9,12 ****
--- 9,13 ----
\usepackage{../LaTeX/layout}
\usepackage{makeidx}
+ \usepackage{graphicx}
% ---------------------------------------------------------------------
Index: title.tex
===================================================================
RCS file: /cvsroot/hol/hol98/Manual/Reference/title.tex,v
retrieving revision 1.6
retrieving revision 1.7
diff -b -C2 -d -r1.6 -r1.7
*** title.tex 10 Jul 2000 17:38:58 -0000 1.6
--- title.tex 28 May 2002 16:34:30 -0000 1.7
***************
*** 15,23 ****
\end{center}
- \vspace*{100mm}
\begin{center}
! \begin{tabular}{ccc}
! University of Cambridge & \hspace*{10ex}DSTO\hspace*{10ex} & SRI International
! \end{tabular}
\end{center}
--- 15,20 ----
\end{center}
\begin{center}
! \includegraphics[width=3cm]{../Logo/logo}
\end{center}
|