	Failed to load latest commit information.
	Kevin Reid's doc.txt	Add note to add ⊢ right tack/entails.	Jan 13, 2012
	Kevin Reid's.icns	Initial commit.	Mar 27, 2011
	Kevin Reid's.keylayout	More math, improve curly quotes.	Jan 13, 2012