Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools

PVS Bug 643


Synopsis:        Trivial documentation bug
Severity:        serious
Priority:        medium
Responsible:     owre
State:           analyzed
Class:           sw-bug
Arrival-Date:    Fri Jan  4 12:55:00 2002
Originator:      Jerry James
Organization:    eecs.ku.edu
Release:         PVS 2.4
Environment: 
 System:          
 Architecture: 

Description: 
  The help screen brought up by C-c h claims that C-c t invokes
  typecheck.  It is actually C-c C-t, however.
  
  Incidentally, I discovered this while putting together a quick reference
  card for myself.  It's a TeX document, derived from a GPL'd one from the
  XEmacs project.  If the GPL'd ancestry isn't a problem, I'm happy to
  share.  If it is a problem, I'll *try* to create one from scratch.
  -- 
  Jerry James
  Assistant Professor
  EECS Department
  University of Kansas
  

How-To-Repeat: 

Fix: 
Obvious fix applied.
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools