Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-04-07 | gui: fix parent of Debate | dos-reis | 1 | -5/+4 |
2013-04-07 | gui: misc cleanup | dos-reis | 1 | -5/+3 |
2013-04-06 | (no commit message) | dos-reis | 1 | -0/+1 |
2013-04-06 | gui: tidy up | dos-reis | 1 | -1/+5 |
2013-04-06 | gui: make FS part of the main window | dos-reis | 1 | -3/+1 |
2011-06-27 | * utils/Makefile.in (libOpenAxiom_SOURCES): Include filesystem.cc | dos-reis | 1 | -0/+2 |
2011-06-03 | Enable the new GUI interface as default driver | dos-reis | 1 | -1/+2 |
2011-05-30 | have the gui quit if the interpreter quits | dos-reis | 1 | -0/+4 |
2011-05-27 | more gui codes | dos-reis | 1 | -0/+4 |
2011-05-24 | more gui codes | dos-reis | 1 | -0/+2 |
2011-05-23 | Add new files | dos-reis | 1 | -0/+56 |