Issue 16715: Date-Time Issue: CLIF file should include metadata (date-time-ftf)
Source: International Business Machines (Mr. Mark H. Linehan, mlinehan(at)us.ibm.com)
Nature: Uncategorized Issue
Severity: 
Summary: The machine-readable CLIF file contains the CLIF axioms mechanically stripped out of the specification document.  Currently, it is very difficult to trace back from the individual CLIF file entries to the matching source entries in the document.  The CLIF file should include metadata (presumably as annotations) that relate each axiom to the appropriate place in the document.
Resolution: 
Revised Text: 
Actions taken:
November 18, 2011: received issue
Discussion: 

End of Annotations:=====
MG Issue No:  16715 
Title:	CLIF file should include metadata
Source:
Mark H. Linehan . IBM . mlinehan@us.ibm.com

Summary:
The machine-readable CLIF file contains the CLIF axioms mechanically stripped out of the specification document.  Currently, it is very difficult to trace back from the individual CLIF file entries to the matching source entries in the document.  The CLIF file should include metadata (presumably as annotations) that relate each axiom to the appropriate place in the document.