Project

General

Profile

Design #472

Record keyword

Added by John Abbott about 10 years ago. Updated about 10 years ago.

Status:
Closed
Priority:
Normal
Assignee:
John Abbott
Category:
Cleaning
Target version:
CoCoA-5.1.0 Easter14
Start date:
13 Mar 2014
Due date:
% Done:

100%

Estimated time:
1.00 h
Spent time:
0.60 h

Description

What capitalization do we want for the keyword Record?

Currently CoCoA-5 uses Record, but the manual prefers record.

Make preferences of CoCoA and the manual coincide!

Related issues

Has duplicate CoCoA-5 - Support #395: Naming conventions: upper or lower case?Closed2013-08-01

History

#1 Updated by John Abbott about 10 years ago

Also consider Record in cocoa5-mode-abbrev-table.

Similar questions about most CoCoA-5 keywords!

#2 Updated by Anna Maria Bigatti about 10 years ago

  • Target version set to CoCoA-5.1.0 Easter14

#3 Updated by John Abbott about 10 years ago

  • Status changed from New to Closed
  • % Done changed from 0 to 100

Closing because already covered by #395

#4 Updated by Anna Maria Bigatti about 10 years ago

  • Assignee set to John Abbott
  • Estimated time set to 1.00 h

Also available in: Atom PDF