ダウンロード

タイムアウトか何かで大きなファイルがダウンロードできないようなので, ファイルを分割して置いています. 以下のファイルをすべて取得した後, 次のコマンドを実行してファイルを得てください.

cat texset.* > texset.tar.gz

texset.aa 1048576 byte
texset.ab 1048576 byte
texset.ac 1048576 byte
texset.ad 1048576 byte
texset.ae 1048576 byte
texset.af 1048576 byte
texset.ag 1048576 byte
texset.ah 1048576 byte
texset.ai 1048576 byte
texset.aj 1048576 byte
texset.ak 1048576 byte
texset.al 1048576 byte
texset.am 1048576 byte
texset.an 1048576 byte
texset.ao 1048576 byte
texset.ap 1048576 byte
texset.aq 1048576 byte
texset.ar 965062 byte