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