COMMENT ⊗   VALID 00007 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	PRINTING LABELS ON THE SCORE LINE PRINTER
C00003 00003	PRINTING LABELS ON THE GE TERMINET
C00004 00004	C O V E R S   F O R   C S   R E P O R T S   -   S I M P L E   W A Y
C00006 00005	T H E   M A C R O S   I N   P U B M A C.L E S [U P,D O C]
C00012 00006	S A M P L E   O F   H O W   T O   U S E   P U B M A C.L E S [U P,D O C]
C00019 00007	P U B   C O V E R S   F I L E   F O R   P V G   R E P O R T S
C00026 ENDMK
C⊗;
PRINTING LABELS ON THE SCORE LINE PRINTER

	(login to score)
@ print labels.lpt/forms:labels
@ i o  (remember the <req #>)
@ ena
! opr
OPR> set printer 0 forms labels
	(At this point, OPR should say something 
	 about the printer. Now mount the labels.)
OPR> show messages
OPR> respond <#> continue
	(finish aligning forms)
OPR> reque printer 0
OPR> release print <req #>
	(let job print)
OPR> set printer 0 forms normal
	(change paper)
OPR> respond <#> continue
OPR> exit
! disable
@ del labels.lpt
@ exp
@ k
PRINTING LABELS ON THE GE TERMINET

.assign tty26

.tty tty26 fill

.copy tty26:←<filename>
C O V E R S   F O R   C S   R E P O R T S   -   S I M P L E   W A Y

.device xgp;
.singlescript
.spacing 10*5 mills;
.page frame 48 high 80 wide
.area text lines 1 to 48
.
.turn on "↔" for "→"
.turn on "%,π,α,#,&,∂,↑,↓,[,]"
.turn on "∩" for "↑"
.turn on "∪" for "↓"
.font 1 "ngr40l";
.font 3 "math30";
.font 4 "grkl40";
.font 5 "ngr30"; <<for title pages>>
.at "|cd" ⊂"%3α*%*"⊃
.
.select 1
.
.place text;
.
.next page
.begin nofill
<<1>>↔<<DOE, SLAC, etc. no.>>
<<2>>Stanford Heuristic Programming Project↔<<date>>
     Memo <<HPP number>>
<<3>>Stanford Verification Group↔<<date>>
     Report No. <<no.>>
<<4>>Stanford Computer Science Laboratory↔<<date>>
     Memo CSL <<no.>>
.skip
Department of Computer Science
Report No. <<CS- number>>
.skip 5
.begin center
<<title>>
.skip
by
.skip
<<author>>
.skip 5
D E P A R T M E N T   O F   C O M P U T E R   S C I E N C E
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page
T H E   M A C R O S   I N   P U B M A C.L E S [U P,D O C]

.<< AIM COVER AND TITLE PAGE MACROS.  See PUBMAC.LES[UP,DOC] for documentation >>
.
.DEVICE XGP
.page frame 52 high 79 wide
.area text lines 1 to 52
.place text;

.require "basker.pub[sub,sys]" source;
.font 4 "METL"; font 5 "METM"
.ODDLEFTBORDER←EVENLEFTBORDER←1000;

.macro cover(aimno,csno,titl,auth,spons1,spons2,spons3,moyear,special,nack);	⊂
.turn on "→{";

.at "↓";	⊂ }
.⊃
.if length("moyear")<3 then dat←month&" "&year else dat←"moyear";

.macro header;	⊂
.nofill; select 4;
Stanford Artificial Intelligence Laboratory →{dat}
Memo AIM-aimno

Department of Computer Science
Report No. STAN-CS-csno

.CENTER SKIP 4
titl

by

auth
.xgenlines←xgenlines-3;
. ⊃

.macro seval(thing);	⊂
.sev←"thing";
.if length(sev)≤6 then start "eval"
.    sev←thing;
.    end "eval";
.⊃
.
.arpa←"Advanced Research Projects Agency";
.nasa←"National Aeronautics and Space Administration";
.nih←"National Institutes of Health";
.nsf←"National Science Foundation";
.nsftob←"National Science Foundation";
.nsfdcl←"National Science Foundation";
.nsfjmc←"National Science Foundation";
.onrzm←"Office of Naval Research";

.skip to column 1; header;

.if length("spons1")>1 then start "sponsors"
. sk←lines/2-(if length("spons2")=0 then 7 else if length("spons3") then 10 else 4);
. skip (sk max 2); select 5;
Research sponsored by

. seval("spons1");	(sev)}
.  if length("spons3") then start "all3"
.    seval("spons2");	(sev)}
.    seval("spons3");	(sev)}
.    end "all3"
.  else start "1 or 2"
.    if length("spons2")>1 then start
and
.      seval("spons2");	(sev)}
.      end
.    end "1 or 2";
.end "sponsors";
.skip ((lines-12)max 1);
DEPARTMENT OF COMPUTER SCIENCE
Stanford University
.
.next page
.header;
.
.arpa←"Advanced Research Projects Agency of the Department of Defense"&
.    " under ARPA Order No. 2494, Contract MDA903-76-C-0206";
.nsftob←nsftob&" under Contract NSF DAR 78-15914";
.nsfdcl←nsfdcl&" under Contract NSF MCS 76-00327";
.nsfjmc←nsfjmc&" under Contract NSF MCS 78-00524";
.nasa←nasa&" under Contract NASA - NASW-2916";
.onrzm←"Department of the Navy Contract N00014-76-C-0687";
.nih←nih& " under Contract PHS NIMH 06645-13";
.macro ack	⊂
.start "foot" fill; adjust; select 2;
.  if length("special")>2 then start "special"
.    ("special");}

.    end "special";
.  if length("spons1") then start "sponsor"
.    seval("spons1");	ss←sev;
.    if length("spons3") then start "all3"
.      seval("spons2");	ss←ss&", "&sev&", and ";
.      seval("spons3");	ss←ss&sev;
.    end "all3"
.  else start "1 or 2"
.    if length("spons2")>1 then start
.      seval("spons2");	ss←ss&" and "&sev;
.      end
.    end "1 or 2";
.if length("nack")<2 then start "ack"
This research was supported by the
.  (ss&".  ");
.  end "ack"
.  end "sponsor"
The views and conclusions contained in this document are those of the
authors and should not be interpreted as necessarily representing the
official policies, either expressed or implied, of Stanford University,
or any agency of the U. S. Government.

.  end "foot" ⊃
.
.macro ntis ⊂ ack;
Reproduced in the U.S.A.  Available from the National Technical Information
Service, Springfield, Virginia 22161.

. ⊃;
.macro univ ⊂ ack;
Available from University Microfilm, P. O. Box 1346, Ann Arbor, Michigan 48106.

.⊃
.FILL ADJUST; select 1;
. ⊃
.macro thesis;   ⊂
.select 2

This thesis was submitted to the Department of Computer Science and the Committee
on Graduate Studies of Stanford University in partial fulfillment of the
requirements for the degree of Doctor of Philosophy.
.⊃
S A M P L E   O F   H O W   T O   U S E   P U B M A C.L E S [U P,D O C]

.  require "cover.pub[sub,sys]" source;
.FONT A "NGB40"; TURN ON "%";
.FONT B "NGR30";
.FONT C "NGB30"
.FONT D "NGI30"
.FONT E "NONMB"
.FONT F "MS25";
.tabs 15,45; turn on "\";
.COVER ("999","79-999",|%ATITLE%C|,
. |Author|,
. ARPA,NSFJMC,,July 1979,,);
.skip 2
.ONCE CENTER;SELECT C
ABSTRACT

.SELECT B;FILL;INDENT 3
Put text of abstract here.
 .
 .
 .

.thesis <<this is a thesis>>
.ack <<standard acknowledgement>>

.select B
.SKIP TO LINE 42
.center
%Fc%B  Copyright 1979 <<copyright notification for theses>>
.skip 1
by
.skip 1
Author
P U B   C O V E R S   F I L E   F O R   P V G   R E P O R T S

.<< AIM COVER AND TITLE PAGE MACROS.  See PUBMAC.LES[UP,DOC] for documentation >>
.
.DEVICE XGP
.page frame 52 high 79 wide
.area text lines 1 to 52
.place text;

.require "basker.pub[sub,sys]" source;
.font 4 "METL"; font 5 "METM"
.ODDLEFTBORDER←EVENLEFTBORDER←1000;

.macro cover(verno,csno,titl,auth,spons1,spons2,spons3,moyear,special,nack);	⊂
.turn on "→{";

.at "↓";	⊂ }
.⊃
.if length("moyear")<3 then dat←month&" "&year else dat←"moyear";

.macro header;	⊂
.nofill; select 4;
Stanford Program Verification Group →{dat}
Report No. verno

Department of Computer Science
Report No. STAN-CS-csno

.CENTER SKIP 4
titl

by

auth
.xgenlines←xgenlines-3;
. ⊃

.macro seval(thing);	⊂
.sev←"thing";
.if length(sev)≤6 then start "eval"
.    sev←thing;
.    end "eval";
.⊃
.
.arpa←"Advanced Research Projects Agency";
.nasa←"National Aeronautics and Space Administration";
.nih←"National Institutes of Health";
.nsf←"National Science Foundation";
.nsftob←"National Science Foundation";
.nsfdcl←"National Science Foundation";
.nsfjmc←"National Science Foundation";
.onrzm←"Office of Naval Research";

.skip to column 1; header;

.if length("spons1")>1 then start "sponsors"
. sk←lines/2-(if length("spons2")=0 then 7 else if length("spons3") then 10 else 4);
. skip (sk max 2); select 5;
Research sponsored by

. seval("spons1");	(sev)}
.  if length("spons3") then start "all3"
.    seval("spons2");	(sev)}
.    seval("spons3");	(sev)}
.    end "all3"
.  else start "1 or 2"
.    if length("spons2")>1 then start
and
.      seval("spons2");	(sev)}
.      end
.    end "1 or 2";
.end "sponsors";
.skip ((lines-12)max 1);
COMPUTER SCIENCE DEPARTMENT
Stanford University
.
.next page
.header;
.
.arpa←"Advanced Research Projects Agency of the Department of Defense"&
.    " under ARPA Order No. 2494, Contract MDA903-76-C-0206";
.nsftob←nsftob&" under Contract NSF DAR 78-15914";
.nsfdcl←nsfdcl&" under Contract NSF MCS 77-01194";
.nsfjmc←nsfjmc&" under Contract NSF MCS 78-00524";
.nasa←nasa&" under Contract NASA - NASW-2916";
.onrzm←"Department of the Navy Contract N00014-76-C-0687";
.nih←nih& " under Contract PHS NIMH 06645-13";
.macro ack	⊂
.start "foot" fill; adjust; select 2;
.  if length("special")>2 then start "special"
.    ("special");}

.    end "special";
.  if length("spons1") then start "sponsor"
.    seval("spons1");	ss←sev;
.    if length("spons3") then start "all3"
.      seval("spons2");	ss←ss&", "&sev&", and ";
.      seval("spons3");	ss←ss&sev;
.    end "all3"
.  else start "1 or 2"
.    if length("spons2")>1 then start
.      seval("spons2");	ss←ss&" and "&sev;
.      end
.    end "1 or 2";
.if length("nack")<2 then start "ack"
This research was supported by the
.  (ss&".  ");
.  end "ack"
.  end "sponsor"
The views and conclusions contained in this document are those of the
authors and should not be interpreted as necessarily representing the
official policies, either expressed or implied, of Stanford University,
or any agency of the U. S. Government.

.  end "foot" ⊃
.
.macro ntis ⊂ ack;
Reproduced in the U.S.A.  Available from the National Technical Information
Service, Springfield, Virginia 22161.

. ⊃;
.macro univ ⊂ ack;
Available from University Microfilm, P. O. Box 1346, Ann Arbor, Michigan 48106.

.⊃
.FILL ADJUST; select 1;
. ⊃
.macro thesis;   ⊂
.select 2

This thesis was submitted to the Department of Computer Science and the Committee
on Graduate Studies of Stanford University in partial fulfillment of the
requirements for the degree of Doctor of Philosophy.
.⊃