now uses proof209.sty
authorlcp
Tue Jul 25 16:52:08 1995 +0200 (1995-07-25)
changeset 1186906c32af858d
parent 1185 9968989790e2
child 1187 bc94f00e47ba
now uses proof209.sty
doc-src/Intro/intro.tex
doc-src/Logics/logics.tex
doc-src/Ref/ref.tex
     1.1 --- a/doc-src/Intro/intro.tex	Tue Jul 25 16:50:48 1995 +0200
     1.2 +++ b/doc-src/Intro/intro.tex	Tue Jul 25 16:52:08 1995 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -\documentstyle[a4,12pt,proof,iman,extra]{article}
     1.5 +\documentstyle[a4,12pt,proof209,iman,extra]{article}
     1.6  %% $Id$
     1.7  %% run    bibtex intro         to prepare bibliography
     1.8  %% run    ../sedindex intro    to prepare index file
     2.1 --- a/doc-src/Logics/logics.tex	Tue Jul 25 16:50:48 1995 +0200
     2.2 +++ b/doc-src/Logics/logics.tex	Tue Jul 25 16:52:08 1995 +0200
     2.3 @@ -1,4 +1,4 @@
     2.4 -\documentstyle[a4,12pt,proof,iman,extra,rail]{report}
     2.5 +\documentstyle[a4,12pt,proof209,iman,extra,rail]{report}
     2.6  %% $Id$
     2.7  %%%STILL NEEDS MODAL, LCF
     2.8  %%%\includeonly{ZF}
     3.1 --- a/doc-src/Ref/ref.tex	Tue Jul 25 16:50:48 1995 +0200
     3.2 +++ b/doc-src/Ref/ref.tex	Tue Jul 25 16:52:08 1995 +0200
     3.3 @@ -1,4 +1,4 @@
     3.4 -\documentstyle[a4,12pt,rail,proof,iman,extra]{report}
     3.5 +\documentstyle[a4,12pt,rail,proof209,iman,extra]{report}
     3.6  %% $Id$
     3.7  %%\includeonly{}
     3.8  %%% to index ids: \[\\tt \([a-zA-Z0-9][a-zA-Z0-9_'.]*\)    [\\ttindexbold{\1}