one more pass over first text blog
published
add .travis.yml
misc edits to text-internal
misc edits to text-internal
merging after pulling from master
add text invariants back for nicer example at the end
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell

Conflicts:
	docs/blog/2014-05-21-text-internals.lhs
Merge pull request #214 from ucsd-progsys/differrors

Differrors: Much support for diff-checking
done with pass over text-internal now renamed
done with pass over text-internal now renamed
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into class-default-methods