Go to file
2015-08-18 16:41:25 -05:00
gui Remove extra directories. 2014-12-02 02:33:07 -05:00
gui-doc Fix docs to use new names. 2015-08-18 16:41:25 -05:00
gui-lib Move prefs:get/set from unstable/gui/prefs to framework/preferences. 2015-08-18 16:41:25 -05:00
gui-test remove unnecessary finalization (GTK+ 3) 2015-08-18 10:58:13 -06: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