これは、Ubuntu Online、Fedora Online、Windowsオンラインエミュレーター、MACOSオンラインエミュレーターなどの複数の無料オンラインワークステーションのXNUMXつを使用してOnWorks無料ホスティングプロバイダーで実行できるコマンドリネームです。
プログラム：
NAME
ladr4-apps-文書化されていないLADR4アプリケーション
DESCRIPTION
のいくつかのプログラム ladr4-アプリ パッケージには現在マニュアルページがありません。 入手できます
これらのアプリケーションのいくつかに関するドキュメント 証明者9 マニュアル、で利用可能です
パッケージを介したDebianシステム 証明者9-doc、at
/usr/share/doc/prover9-doc/manual/index.html。 または、でアプリケーションを呼び出す
-助けて オプションはドキュメントを作成する場合があります。 マニュアルページを追加するためのパッチは大歓迎です、そして
詳細を以下に示すDebianパッケージメンテナに送信できます。
onworks.netサービスを使用してオンラインで名前変更を使用する
