Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2013-06-28 | Add src/rt for core runtime support. | dos-reis | 1 | -21/+0 | |
2013-06-27 | Add small Lisp evaluator for the benefit of new GUI. | dos-reis | 1 | -2/+10 | |
2013-06-26 | Rewrite s-expression reader. | dos-reis | 1 | -0/+24 | |
2013-06-23 | Fix font units. On Mac OS X, QT may return 0 for certain font metrics ↵ | dos-reis | 1 | -0/+1 | |
components. | |||||
2013-06-23 | Rename the gui interface to open-axiom. | dos-reis | 1 | -6/+8 | |
2013-04-08 | more gui cleanup | dos-reis | 1 | -5/+14 | |
2013-04-08 | Remove QTabWidget intermediary | dos-reis | 1 | -4/+2 | |
2013-04-07 | (no commit message) | dos-reis | 1 | -1/+2 | |
2013-04-07 | (no commit message) | dos-reis | 1 | -0/+1 | |
2013-04-07 | gui: fix parent of Debate | dos-reis | 1 | -1/+1 | |
2013-04-07 | gui: misc cleanup | dos-reis | 1 | -22/+26 | |
2013-04-06 | (no commit message) | dos-reis | 1 | -1/+1 | |
2013-04-06 | gui: make FS part of the main window | dos-reis | 1 | -2/+2 | |
2011-06-03 | Enable the new GUI interface as default driver | dos-reis | 1 | -2/+2 | |
on Windows platforms with QT available. | |||||
2011-05-29 | Rename C++ source files to have .cc extension | dos-reis | 1 | -0/+72 | |