blogipostaus..
corrections, exert etc.
title/description change. enough talk, progress needs action
Suggested changes
Revert "title/description change. enough talk, progress needs action"

This reverts commit 377c912ef3cde003936e6d1cd98fdb126e415cfa.
Revert "Revert "title/description change. enough talk, progress needs action""

This reverts commit 8323f67f511bb6333b0b85a3c3cfa02da8bf4a1a.
Revert "Revert "Revert "title/description change. enough talk, progress needs action"""

This reverts commit 58c7c18bfda7c9f1deb27b0ba51a8587b16579ef.
Revert "Revert "Revert "Revert "title/description change. enough talk, progress needs action""""

This reverts commit 47e30ff947715e72a62f2e373627ddf4d599c70d.
Revert "Revert "Revert "Revert "Revert "title/description change. enough talk, progress needs action"""""

This reverts commit 78d5ec96b82ec06f3989c50dd89c4f1965e4d5f3.
Revert "Revert "Revert "Revert "Revert "Revert "title/description change. enough talk, progress needs action""""""

This reverts commit 18b4ef6f63973c834de434b0cedcd2d346a42c36.
Revert "Revert "Revert "Revert "Revert "Revert "Revert "title/description change. enough talk, progress needs action"""""""

This reverts commit 940b998cb83e3221cf15e417975e5e301b9470cd.
Back out previous change
Reapply suggested changes preserving Unix newlines
Merge pull request #1 from noidi/lokori-cs-proofread

Suggested changes
lollers. revert typo fixes from a copy-pasted content intentionally.
Update the date on "A case for formal computer science"

--HG--
rename : _posts/2012-11-15-formal-methods.md => _posts/2012-12-11-formal-methods.md
Merge "A case for formal computer science"
Add slight bolding to text
Update tl;dr
Add concrete editors as an example (and add SEO)