Perm

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 5.0/5 - ‎1 ‎投票

パーミは、このシステムのSQL言語に証明追跡機能を追加するPostgreSQLの拡張機能です。

バージョン履歴

  • バージョン files に転記 2010-10-26
    いくつかの修正と更新
  • バージョン N/A に転記 2010-10-26

プログラムの詳細