xpe(X window system Proof Editor)

TEXのマクロproof.styと高い互換性をもつ証明図作成支援ソフトである。UNIXのX Window System上で動作する。
  • ダウンロード(http,ftp)  ver 1.1.1xpe-animation
  • 開発版(http,ftp) ver 1.9.5
  • スクリーンショット
  • マニュアル
    •  
    動作確認済OS
  • SunOS
  • Solaris
  • Linux
  • FreeBSD
  • OpenBSD


    • xpe mailing listのご案内

    xpe mailing listでは参加者を募集しています。参加するには

    majordomo-j@logic.jaist.ac.jp

    にあてて、本文に

    subscribe xpe

    と書いたメールを送ってください。送り主のアドレスが自動的に登録されます。
    その他詳細については xpe-request あてに空のメールを送ると利用案内が自動的
    に送付されますのでご利用ください。

    メーリングリストへの投稿先はxpe@logic.jaist.ac.jpです。
    その他、事務連絡等はxpe-owner@logic.jaist.ac.jpにお願いします。

    毛利元彦 (mouri@logic.jaist.ac.jp)    最終更新日: "2000/10/ 28"