Age | Commit message (Expand) | 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 compon... | dos-reis | 1 | -0/+1 |
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 |
2011-05-29 | Rename C++ source files to have .cc extension | dos-reis | 1 | -0/+72 |