updating main readme for publishing on repo.or.cz
commita35502b596b66ab80f48adaef15fd6e94952d5bd
authorEric Schulte <schulte.eric@gmail.com>
Mon, 24 Jan 2011 16:41:37 +0000 (24 09:41 -0700)
committerEric Schulte <schulte.eric@gmail.com>
Mon, 24 Jan 2011 16:41:37 +0000 (24 09:41 -0700)
tree1e7a13bf8d1f7e077b5486c36dd63d394d347503
parent6941ecff2a1d1bcdeed74f2c83d0f93dcf3ea7ec
updating main readme for publishing on repo.or.cz
  - removed superfluous examples
  - removed tangling code which we're already tracking as pure source
propagator.org