*** empty log message ***
authoroheimb
Fri Jul 12 20:46:32 1996 +0200 (1996-07-12)
changeset 1858513316fd1087
parent 1857 cb1590accf3e
child 1859 2ea3f7ebeccb
*** empty log message ***
src/Tools/8bit/doc/manual.dvi
src/Tools/8bit/doc/manual.itex
     1.1 Binary file src/Tools/8bit/doc/manual.dvi has changed
     2.1 --- a/src/Tools/8bit/doc/manual.itex	Fri Jul 12 20:46:03 1996 +0200
     2.2 +++ b/src/Tools/8bit/doc/manual.itex	Fri Jul 12 20:46:32 1996 +0200
     2.3 @@ -23,7 +23,7 @@
     2.4  proofs in a quite pleasant form. 
     2.5  
     2.6  Instead of representing logical operators with ASCII character sequences, 
     2.7 -a special graphical character font, resp. a \LaTeX{} 
     2.8 +a special graphical character font, and alternatively a \LaTeX{} 
     2.9  command format, is provided. There are editors and a terminal
    2.10  capable of inputting and displaying the graphical characters, and converters
    2.11  between the different representations. The graphical font extends the normal
    2.12 @@ -323,7 +323,7 @@
    2.13  
    2.14  \subsection{Preparations}
    2.15  
    2.16 -To use the 8bit package, you have to set resp. extend the content of the 
    2.17 +To use the 8bit package, you have to set respectively extend the content of the 
    2.18  following environment variables:
    2.19  
    2.20  \begin{itemize}
    2.21 @@ -355,13 +355,14 @@
    2.22  
    2.23  \subsection{Installation and Configuration}
    2.24  
    2.25 -To install the 8bit package, change directory to \bt{\$ISABELLE8BIT} and 
    2.26 -run \bt{gmake} (the gnu version of \bt{make}) on the \bt{Makefile} there.
    2.27 +To install the 8bit package, change directory to \bt{\$ISABELLE8BIT}.
    2.28 +Configure the \bt{Makefile} there, then run \bt{gmake clean} 
    2.29 +(\bt{gmake} is the gnu version of \bt{make}) and then \bt{gmake}.
    2.30  
    2.31  If you want to adapt the configuration of the font (keyboard bindings or
    2.32  conversion tables used by \bt{isa2latex}), change directory to\\
    2.33  \bt{\$ISABELLE8BIT/config} ,
    2.34 -edit the files \bt{key-table.inp} resp. \bt{conv-tables.inp},
    2.35 +edit the files \bt{key-table.inp} respectively \bt{conv-tables.inp},
    2.36  and run \bt{gmake} in this directory to generate new versions of 
    2.37  \bt{isa2latex}, editor support, and documentation.
    2.38