aboutsummaryrefslogtreecommitdiff
path: root/src/share/algebra/category.daase
AgeCommit message (Expand)AuthorFilesLines
2008-07-15 * share/algebra: Update databases.dos-reis1-777/+778
2008-07-04Update databases.dos-reis1-567/+567
2008-06-14 * algebra/variable.spad.pamphlet (ModePatternVariable): New.dos-reis1-563/+563
2008-05-31(no commit message)dos-reis1-563/+563
2008-05-29 * algebra/catdef.spad.pamphlet (OrderedMonoid): Nowndos-reis1-97/+97
2008-05-28 * algebra/catdef.spad.pamphlet (OrderedSemiGroup): New.dos-reis1-1496/+1496
2008-05-18 Fix AW/221dos-reis1-564/+564
2008-05-08 * algebra/java.spad.pamphlet: New. Implement JavaBytecode.dos-reis1-1711/+1712
2008-05-07Update dabatasedos-reis1-563/+563
2008-04-21Add support for byte values, and byte buffers.dos-reis1-2703/+2713
2008-04-14Update databases.dos-reis1-563/+563
2008-04-05 * algebra/system.spad.pamphlet (System): New package.dos-reis1-623/+623
2008-03-24Add support for SBCL and CLispdos-reis1-2751/+2753
2008-01-26 * interp/database.boot: Tidy uses of $EmptyEnvironment.dos-reis1-563/+563
2008-01-21 * algebra/syntax.spad.pamphlet (Syntax): Assert a member ofdos-reis1-2505/+2506
2008-01-20 * algebra/syntax.spad.pamphlet (ElaboratedExpression): New.dos-reis1-997/+997
2008-01-20 * algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad.dos-reis1-2525/+2526
2008-01-19 * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Now includedos-reis1-102/+102
2008-01-19 * algebra/any.spad.pamphlet (getProperty$Environment): New.dos-reis1-2492/+2493
2008-01-19 * interp/construc.lisp (|loadLibNoUpdate|): Fix thinko in initialdos-reis1-2785/+2790
2008-01-17 Fix SF/1849734dos-reis1-1111/+1114
2008-01-16 * algebra/boolean.spad.pamphlet (PropositionalLogic): New category.dos-reis1-1019/+1019
2008-01-14 * interp/compiler.boot (compSymbol): Don't handle possibledos-reis1-1158/+1158
2007-11-22 * as.boot: Globally substitute %noBranch for noBranch.dos-reis1-562/+562
2007-11-15add spad parser librarydos-reis1-773/+773
2007-11-13src/algebra/dos-reis1-2510/+2520
2007-08-14Initial population.dos-reis1-0/+3188