source: Papers/jar-cerco-2017/introduction.tex

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @3620   3 years boender Rewrote introduction to sound less futuristic/defensive
(edit) @3619   3 years boender Added section on Matita
(edit) @3618   3 years boender Added Matita section
(edit) @3616   3 years boender Introduction: spell check
(edit) @3615   3 years boender Moved paper structure comments to their relevant sections
(edit) @3614   3 years boender Rewrote introduction, and moved development section
(add) @3613   3 years boender Cut paper into sections, continued introduction rewrite
Note: See TracRevisionLog for help on using the revision log.