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

名前: 大友
日時: 2002-09-07 20:48:45
IPアドレス: 210.156.69.*

>>10699 Iria v1.07a にて、正常な名前でダウンロードできました。前にダウンロードしたpTeX用ファ イルのリストを総て削除してからなら、おそらく確実に出来るはずです。 以下はIriaによってダウンロードされたファイル名のリストです。(dir > file.txtで作成) ドライブ C: のボリュームラベルは WINDOWS ME ボリュームシリアル番号は 3E73-16F4 ディレクトリは C:\My Documents\down . <DIR> 02-09-07 20:57 . .. <DIR> 02-09-07 20:57 .. MFTOOL~1 GZ 976,815 02-09-07 20:49 mftools.tar.gz VF-A2B~1 GZ 393,216 02-09-07 20:47 vf-a2bk.tar.gz DVIPDF~1 GZ 196,606 02-09-07 20:47 dvipdfm-w32.tar.gz T1FONT~1 GZ 6,451,200 02-09-07 20:47 t1fonts.tar.gz PDFTEX~1 GZ 496,353 02-09-07 20:47 pdftex-w32.tar.gz OLDINP~1 GZ 51,176 02-09-07 20:47 oldinputs.tar.gz OLDFOR~1 GZ 3,154,693 02-09-07 20:48 oldformat.tar.gz MAKEIN~1 GZ 512,000 02-09-07 20:48 makeindex-w32.tar.gz MANUAL~1 GZ 2,170,880 02-09-07 20:48 manual.tar.gz TIMESN~1 GZ 1,300,140 02-09-07 20:48 timesnew.tar.gz TXPX-P~1 GZ 3,614,698 02-09-07 20:48 txpx-pazofonts.tar.gz LTXPKG~1 GZ 688,490 02-09-07 20:48 ltxpkgs.tar.gz DVIPSK~1 GZ 9,175,040 02-09-07 20:48 dvipsk-w32.tar.gz WEB2C-~1 GZ 2,754,560 02-09-07 20:48 web2c-7.3.7-w32.tar.gz WEB2C-~2 GZ 19,302,400 02-09-07 20:49 web2c-7.3.7-lib.tar.gz PTEX-3~1 GZ 393,216 02-09-07 20:49 ptex-3.0.1-w32.tar.gz JSCLAS~1 LZH 97,918 02-09-07 20:47 jsclasses.lzh PLATEX~1 GZ 1,569,956 02-09-07 20:49 platex.tar.gz LATEXT~1 GZ 5,959,680 02-09-07 20:49 latex.tar.gz TEXINS~1 ZIP 204,008 02-09-07 20:49 texinst737.zip UNZIP EXE 113,152 02-09-07 20:49 unzip.exe README SJ 14,476 02-09-07 20:49 README.sj FILES TXT 0 02-09-07 20:59 files.txt 23 個 59,590,673 バイトのファイルがあります. 2 ディレクトリ 479.16 MB の空きがあります.

この書き込みへの返事:

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