aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2013-05-12 * algebra/catdef.spad.pamphlet (OrderedRing): Extenddos-reis9-34/+38
2013-05-11 * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Renamedos-reis11-478/+482
2013-05-11 Remove IndexedTwoDimensionalArray.dos-reis12-19065/+19251
2013-05-11Consistently use OIL opcodes for abstractionsdos-reis9-33/+33
2013-05-11Fix opcode for references to domain-wide entitiesdos-reis2-5/+5
2013-05-11Fix location of opposite? implementationdos-reis2-2/+4
2013-05-11 * algebra/array2.spad.pamphlet: Cleanu up.dos-reis2-48/+24
2013-05-11 * algebra/indexedp.spad.pamphletdos-reis2-0/+16
2013-05-11Remove IndexedMatrix as unuseddos-reis12-18179/+18097
2013-05-11Introduce opcodes for arrays constructionsdos-reis9-38/+60
2013-05-10Update src/algebra/Makefile for new defaultsdos-reis2-4/+4
2013-05-10 * algebra/indexedp.spad.pamphletdos-reis2-11/+19
2013-05-10Add opposite? and annihilate? exports.dos-reis9-19202/+19240
2013-05-10The compiler now accepts do-statementsdos-reis5-9/+36
2013-05-09 * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)dos-reis7-4938/+4983
2013-05-09 * interp/i-special.boot (evalIF): Generate OIL intermediatedos-reis4-11/+15
2013-05-09Simplify copydos-reis4-15/+15
2013-05-08Almost pure function bodies are now %redex formsdos-reis3-7/+16
2013-05-07Tidy linear elements implememtationsdos-reis2-5/+10
2013-05-07Tidy indexed direct product domainsdos-reis9-94/+93
2013-05-07 * algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain.dos-reis10-18080/+18145
2013-04-08more gui cleanupdos-reis4-20/+17
2013-04-08misc gui cleanupdos-reis7-77/+46
2013-04-08(no commit message)dos-reis2-3/+3
2013-04-08Remove QTabWidget intermediarydos-reis5-14/+17
2013-04-07(no commit message)dos-reis5-10/+15
2013-04-07tidy driver invokationdos-reis2-5/+5
2013-04-07small cleanupdos-reis2-6/+16
2013-04-07(no commit message)dos-reis2-1/+1
2013-04-07gui: fix parent of Debatedos-reis3-8/+7
2013-04-07gui: misc cleanupdos-reis9-114/+123
2013-04-06(no commit message)dos-reis3-40/+20
2013-04-06(no commit message)dos-reis5-2/+9
2013-04-06gui: tidy updos-reis4-5/+9
2013-04-06gui: add new Server classdos-reis2-0/+118
2013-04-06gui: add new Server classdos-reis1-2/+2
2013-04-06gui: make FS part of the main windowdos-reis4-7/+9
2013-04-06Add token representation filesdos-reis17-493/+2007
2013-04-04convert src/algebra/Makefile.in to Automake stuffdos-reis8-834/+3892
2013-04-04Add initial io library filesdos-reis18-43/+1855
2013-04-03Fix up fallout from C++11 switchdos-reis10-103/+116
2013-04-03 * config/open-axiom.m4 (OPENAXIOM_REQUIRE_CXX11): New.dos-reis5-10/+54
2013-04-02 * gui/conversation.h (Question::leaveEvent): Remove.dos-reis3-19/+11
2013-04-02 * gui/conversation.cc (font_units): Rename from em_metrics.dos-reis2-7/+15
2013-04-02Add experimental --gui optiondos-reis2-1/+2
2013-04-02Use oa_setenvdos-reis1-2/+2
2013-04-02Tidy up QApplication initializationdos-reis1-2/+2
2013-04-01More C cleanupsdos-reis6-11/+19
2013-04-01Fix sed issue on MAC OS X Montain Liondos-reis3-1/+3
2013-04-01Update release notesdos-reis1-1/+15