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 |