Re: Iria (WinShell のオプション設定)

名前: かつぶし
日時: 2002-09-08 00:49:50
IPアドレス: 130.34.126.*

>>10707 こんばんは。正しくダウンロードできた場合のファイルサイズを 参考までに挙げておきます(会津大のサーバー 9/8 0:40現在)。 サイズがこれと異なる場合,ダウンロードに失敗していますので 日を改めてチャレンジしてください。 2002/08/20 07:09 14,476 README.sj 2000/10/10 00:00 113,152 unzip.exe 2002/08/10 04:35 204,008 texinst737.zip 2002/07/03 00:20 1,552,287 latex.tar.gz 2002/06/16 06:04 220,635 mftools.tar.gz 2002/07/03 00:20 413,429 platex.tar.gz 2002/07/03 00:20 522,886 ptex-3.0.1-w32.tar.gz 2002/06/27 22:07 4,447,437 web2c-7.3.7-lib.tar.gz 2002/07/03 00:20 1,186,576 web2c-7.3.7-w32.tar.gz 2002/09/06 13:59 3,638,621 dvipsk-w32.tar.gz 2002/09/04 10:26 4,508,851 ltxpkgs.tar.gz 2002/05/21 15:38 1,945,106 txpx-pazofonts.tar.gz 2002/07/12 22:48 251,609 timesnew.tar.gz 2001/12/31 13:39 1,373,383 manual.tar.gz 2002/05/03 02:37 117,924 makeindex-w32.tar.gz 2002/07/03 00:20 999,050 oldformat.tar.gz 2001/12/31 07:40 1,802,899 oldinputs.tar.gz 2002/09/06 17:22 4,606,922 pdftex-w32.tar.gz 2002/02/03 02:15 4,880,398 t1fonts.tar.gz 2002/08/20 12:48 1,477,537 dvipdfm-w32.tar.gz 2002/04/04 07:27 2,421,645 vf-a2bk.tar.gz

この書き込みへの返事:

お名前
題名 
メッセージ(タグは <a href="...">...</a> だけ使えます)