Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1998-10-07 03:36:23 -0700 (Wed, 07 Oct 1998)
Revision: 2492
Log message:
A [not-so] small mode to make nuprl-light navigation easy.
Should work for most Emacs configurations.
| Changes | Path |
| Added | metaprl/editor/emacs/prl-hack.el |
| Properties | metaprl/editor/emacs/prl-hack.el |