Robby Findler 0b2be755e4 do even less work before queueing the callback in hopes it is guaranteed to get queued ... closes PR 15317		2016-06-30 10:14:10 -05:00
gui	Remove extra directories.	2014-12-02 02:33:07 -05:00
gui-doc	dont use get-keyword-type as the parameter name	2016-06-28 10:12:26 -05:00
gui-lib	do even less work before queueing the callback in hopes it is guaranteed to get queued	2016-06-30 10:14:10 -05:00
gui-test	use a hash for the preferences (instead of the real file)	2016-06-25 21:27:25 -05:00
tex-table	some more updates to follow TeX better for \var vs non-\var greek letters	2016-03-10 21:54:30 -06:00
.gitignore	Add standard .gitignore file.	2014-12-06 17:46:34 -05:00