Newsgroups: fj.comp.texhax
Path: galaxy.trc.rwcp.or.jp!jaist-news!cs.titech!wnoc-tyo-news!sh.wide!wnoc-kyo!kyu-cs!hakata!siebold!tsuru
From: tsuru@cc.nagasaki-u.ac.jp (TSURU Masato)
Subject: Re: Please give me proof.sty
In-Reply-To: tsuru@cc.nagasaki-u.ac.jp (TSURU Masato)'s message of Fri, 13 Aug 1993 06: 36:29 GMT
Message-ID: <1993Aug13.104224.18548@siebold.cc.nagasaki-u.ac.jp>
Sender: news@siebold.cc.nagasaki-u.ac.jp
Organization: Nagasaki Univ., JAPAN
References: <1993Aug13.063629.17516@siebold.cc.nagasaki-u.ac.jp>
Distribution: fj
Date: Fri, 13 Aug 1993 10:42:24 GMT
Lines: 31
Xref: galaxy.trc.rwcp.or.jp fj.comp.texhax:3880
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.comp.texhax&nb=3880&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.

> proof.sty$B$H$$$&%U%!%$%k$,I,MW$K$J$C$?$N$G$9$,!"2?2U=j$+$N(Bftp$B%5%$%H(B
> $B$N(Bstyle$B%U%!%$%k$N%"!<%+%$%V$rC5$7$?$N$G$9$,!"8+$D$1$i$l$^$;$s$G$7$?!#(B

$B$H$$$&$*4j$$$K!"(B

KIKUCHI Yutaka <kikuchi@cs.titech.ac.jp>
TAKEI Masahiro <takei@ip.titech.ac.jp>
Toru `cm30305' Suzuki <cm30305@shiho.tokyo-u-fish.ac.jp>

$B$NJ}!9$K!"AaB.%a!<%k$G65$($F$$$?$@$-$^$7$?!#(B
$B$I$&$b$"$j$,$H$&$4$6$$$^$7$?!#(B

proof.xx$B$H$$$&L>A0$NFHN)$7$?%U%!%$%k$GCV$$$F$"$C$?$N$G$9$M!#(B
archie$B$9$l$P0z$C$+$+$C$?$O$:$N$b$N$r!"!"!"!"(B
$B$*A{$,$;$7$F:Q$_$^$;$s$G$7$?!#(B
# style$B%U%!%$%k$b8DJL$K(Barchie$B$G$-$k$h$&$K$J$C$F$k$H;W$C$F$$$^$;$s$G$7$?(B

$B6qBNE*$K$O!"Nc$($P!"(B

ftp.cc.saga-u.ac.jp:/pub/TeX/proof.tar.z

$B$,$"$j$^$9!#Cf?H$O!"(B

rw-r--r--210/1100   6928 Oct 15 18:31 1990 proof.sty
rw-r--r--210/1100   1624 Oct 15 18:31 1990 proofeg.tex

$B$G$7$?!#(B

---
                         $BD9:jBg3XAm9g>pJs=hM}%;%s%?!<(B
                           $BDa(B  $B@5?M(B (tsuru@cc.nagasaki-u.ac.jp)
