Ignore:
Timestamp:
Mar 6, 2017, 3:31:01 PM (3 years ago)
Author:
boender
Message:

Moved paper structure comments to their relevant sections

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/jar-cerco-2017/development.tex

    r3613 r3615  
     1% Formal development
     2%   Source code repo link
     3%   Statistics (number of lines, etc.)
     4%   Description of remaining axioms --- try and explain them away/make them sound reasonable
     5
    16\section{Formal development}
    27\label{sect.formal.development}
    3 
Note: See TracChangeset for help on using the changeset viewer.