The ProXT Package

• pxt-chg: Changes from ProXT 3.1
• pxt-man: Technical Overview and Manual
• pxt-exp: ProXT ReleaseNumber Exported Predicates
• pxt-wid: ProXT ReleaseNumber Widget Resource Data Types
• pxt-tut: Tutorial
• pxt-typ: ProXT ReleaseNumber Data Types