Three formats are available for the combined ACL2+Books XDOC manual, as indicated by the links below.
manual.tar.bz2
manual.tar.gz
manual.zip
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル