I know that you can automatically lock your Mac by checking the option “require a password to wake the computer from sleep or screen saver” in Security System Preferences. This means, however, that ypu have to type your password every time the screen saver has kicked in. I don't like this (especially not during presentations!), so I don't have this option checked. Nevertheless, I sometimes want to lock my computer when I leave it for a short while. The utility Keychain access provides an easy way to do this.
In the General Preferences panel of Keychain Access, check the option Show Status in Menu Bar. This will put a little padlock in the menu bar. One of its menu items is “Lock Screen”. If you don't find this quick enough, check Quickly lock your screen, where Rob Griffiths gives a neat trick to associate a keyboard shortcut with this command, together with many more ways to lock your Mac.
— Kees 2009/11/03 20:51
PVS is a Theorem Prover, an environment that assists in formally proving properties of programs, a.o. It can be downloaded from http://pvs.csl.sri.com/. It is developed for Linux and it needs some tweaking to run it on Mac OS X. It uses emacs which is included in the standard distribution of Mac OS X, but it diverges severely from the interface Mac users are used to. Aquamacs Emacs is a version of emacs that is much easier to use.
After installing of PVS and Aquamacs, you have to edit the script that starts PVS.
PVSEMACS="/Applications/Aquamacs Emacs.app/Contents/MacOS/Aquamacs Emacs"
./pvs -emacs “/Applications/Aquamacs Emacs.app/Contents/MacOS/Aquamacs Emacs”
case "$PVSEMACS" in
("$PVSEMACS" $flags -name pvs -xrm "pvs*title:PVS@$HOST
Then start the script from a Terminal window from its directory by
PVS commands such as
x-prove will pop up a Wish (Tcl/tk) window. This will appear below all other windows and may go unnoticed. Use Cmd-Tab to find it.