aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
AgeCommit message (Expand)AuthorFilesLines
2008-01-18Fix typo.dos-reis1-1/+1
2008-01-17add missing part of last commitdos-reis1-8/+27
2008-01-17 Fix SF/1849734dos-reis5-10/+296
2008-01-16 Fix SF/1850071dos-reis1-0/+6
2008-01-16 * algebra/boolean.spad.pamphlet (PropositionalLogic): New category.dos-reis3-258/+182
2008-01-15 * algebra/syntax.spad (autoCoerce$Syntax): Add overloads.dos-reis1-5/+33
2008-01-14 * interp/compiler.boot (compSymbol): Don't handle possibledos-reis4-15/+34
2008-01-13 Fix SF/1852076dos-reis1-1/+1
2008-01-132008-01-13 Ralf Hemmecke <ralf@hemmecke.de>dos-reis1-1/+1
2008-01-10Fix thinkodos-reis1-1/+6
2008-01-01Annual ChangeLog rotation.dos-reis1-0/+0
2007-12-16 SF/1850100dos-reis2-0/+17
2007-12-12 * domain.spad (showSummary$Domain): New.dos-reis2-1/+14
2007-12-12 * syntax.spad (case$Syntax): Add four overloads with flagdos-reis2-26/+39
2007-12-12 * syntax.spad (nil?$Syntax): New predicate.dos-reis2-0/+10
2007-12-07 * syntax.spad (Syntax): Add explicit conversion functions from dos-reis2-4/+37
2007-12-06 * syntax.spad (Syntax): Conversions to Integer, DoubleFloat,dos-reis2-17/+39
2007-12-03src/algebra/dos-reis5-8/+76
2007-12-03 * aggcat.spad.pamphlet: Update cached Lisp translations.dos-reis3-524/+3957
2007-12-02 * bags.spad.pamphlet (Stack): Relax requirement element type S.dos-reis2-4/+18
2007-12-02 * syntax.spad (buildSyntax): Overload on first argument type.dos-reis2-1/+11
2007-11-15add spad parser librarydos-reis5-2/+69
2007-11-13src/algebra/dos-reis5-6/+147
2007-11-12 * mappkg.spad.pamphlet: Through use "import" for importing packages.dos-reis2-4/+8
2007-11-10src/algebra/dos-reis3-0/+12
2007-10-22Various cleanupdos-reis2-1/+5
2007-10-19 Fix SF/1790912 dos-reis4-2/+62
2007-10-18 Fix SF/1795259dos-reis5-10/+28
2007-10-102007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis3-8/+10
2007-09-24 * config/setup-dep.mk ($(top_builddir)/libtool): Regenerate whendos-reis3-13/+14
2007-09-17Fix Bug 371alfredoport2-2/+8
2007-08-14Initial population.dos-reis374-0/+233542