一行コメント:
Meta-language for proving properties of languages and logics
詳細な説明は "DESCR" または、このパッケージの 歴史をご覧ください。
ホームページ: http://www.cs.cmu.edu/~twelf/.
このパッケージは generic-nonlicense ライセンスであることに注意してください。
このパッケージのソースは "lang/twelf" ディレクトリーに位置しています。パッケージツールでは、 "twelf-1.4". で操作します。 パッケージコレクションを使うためには、 パッケージツリーのトップをご覧ください。
このパッケージの障害報告、アップデートまたは提案は send-prにてお願いします。
lang/twelf における既知のセキュリティー脆弱性は次の通りです :
このパッケージをbuildする時に必要なパッケージ: smlnj>=110.38 gmake>=3.81 emacs-nox11>=21.2<22 perl>=5.0 .
このパッケージを実行するときに必要なパッケージ: smlnj>=110.38 emacs-nox11>=21.2<22 perl>=5.0 .
pkg_add(1)でインストールできるコンパイル済みパッケージは以下のリンクより ダウンロード できます。 使用可能なマシンアーキテクチャーとバージョン:
| none |