MacLogic is, to my mind, the best computer program in existence for teaching and learning how to do natural deduction proofs (in a variety of logics). The program was originally written in MacProlog for Classic Macintosh operating systems by Roy Dyckhoff et al. at St Andrews.
A collection of AppleScript Studio applications for Mail and Address Book.
Take control of email attachments in Apple Mail.
To open winmail.dat files that not even Apple Mail can recognize, and can preview or save the documents attached.
"Move to Recent," and "Go to Recent" menu items to Apple's Mail application.
Sets the default font for outgoing e-mails and fixes attachment issues.
Improves the stability and the compatibility with Gmail.
Comments