Robby Findler e150651d8d add some test cases suggested by cover		2015-04-24 21:47:21 -05:00
gui	Remove extra directories.	2014-12-02 02:33:07 -05:00
gui-doc	refactor to introduce compute-amount-to-indent	2015-04-17 11:37:09 -05:00
gui-lib	only set the extension to .rkt if it looks like it isn't set to anything useful already	2015-04-19 07:22:45 -05:00
gui-test	add some test cases suggested by cover	2015-04-24 21:47:21 -05:00
tex-table	add \langle and \rangle	2015-02-12 11:22:10 -06:00
.gitignore	Add standard .gitignore file.	2014-12-06 17:46:34 -05:00