OtterFace-8 is a simple graphical user interface for Otter and Mace2. (an automated deduction system which is designed to prove theorems stated in first-order logic with equality). It doesn't help you prepare input to Otter/Mace2. You still have to know the input language and prepare input files with your favorite plain text editor.
Templates for Pages Documents provides pre-designed templates that help to create stunning flyers...
Provides 34 templates for Pages, including iBooks, Letters, Resumes, Notes,etc.
Minimal, distraction-free environment for the most important part of screenwriting: the writing part.
Edits audio files with the option for CD mastering.
CoverScout fills the gray gaps that iTunes leaves behind!
This program enables you to convert video files to various output profiles.
Rips media from DVD and creates disk copies.
This program lets you convert videos to various media formats.
Rip DVD discs to the desired file format.
Comments