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/introduction.tex

    r3614 r3615  
     1% Introduction
     2%   Problem being solved, background, etc.
     3%   Current state of the art (and problem with it)
     4%   The `CerCo approach' (tm)
     5%   Brief Matita overview
     6%   Map of paper
     7
    18\section{Introduction}
    29\label{sect.introduction}
Note: See TracChangeset for help on using the changeset viewer.