Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-06-26 | Rewrite s-expression reader. | dos-reis | 1 | -1/+4 |
2013-06-23 | Fix font units. On Mac OS X, QT may return 0 for certain font metrics compon... | dos-reis | 1 | -0/+1 |
2013-06-23 | Rename the gui interface to open-axiom. | dos-reis | 1 | -1/+2 |
2013-04-08 | Remove QTabWidget intermediary | dos-reis | 1 | -2/+2 |
2013-04-07 | (no commit message) | dos-reis | 1 | -1/+1 |
2013-04-07 | gui: misc cleanup | dos-reis | 1 | -3/+4 |
2013-04-06 | (no commit message) | dos-reis | 1 | -0/+3 |
2013-04-06 | gui: make FS part of the main window | dos-reis | 1 | -0/+4 |
2011-06-03 | Enable the new GUI interface as default driver | dos-reis | 1 | -1/+2 |
2011-05-27 | more gui codes | dos-reis | 1 | -0/+4 |
2011-05-23 | Add new files | dos-reis | 1 | -0/+4 |
2011-05-01 | fix accidental commit of local experiments | dos-reis | 1 | -0/+49 |