aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)AuthorFilesLines
2008-01-28Update Boot codedos-reis4-57/+211
2008-01-28 Support signature declaration in Boot.dos-reis7-11/+158
2008-01-28 * boot/Makefile.pamphlet: Remove.dos-reis20-7908/+5719
2008-01-27 Fix SF/1872551dos-reis8-32/+123
2008-01-26 * interp/database.boot: Tidy uses of $EmptyEnvironment.dos-reis16-19590/+19611
2008-01-25 Fix AW/311dos-reis2-1/+8
2008-01-25 Fix AW/272dos-reis3-2/+27
2008-01-25Fix typo from last commitdos-reis1-2/+2
2008-01-24Define some global variablesdos-reis6-12/+24
2008-01-22 * algebra/any.spad.pamphlet (empty$Scope): Use literal empty list.dos-reis2-2/+7
2008-01-22 Fix AW/102dos-reis2-2/+13
2008-01-22 Apply patch byStephen Wilson <<wilsons@multiboard.com>dos-reis3-7/+95
2008-01-22commit forgotten commentsdos-reis1-0/+5
2008-01-21 * algebra/syntax.spad.pamphlet (Syntax): Assert a member ofdos-reis9-25519/+25551
2008-01-20 * algebra/syntax.spad.pamphlet (ElaboratedExpression): New.dos-reis11-19976/+20045
2008-01-20 * algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad.dos-reis10-25746/+25829
2008-01-19 * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Now includedos-reis9-17609/+17625
2008-01-19 * algebra/any.spad.pamphlet (getProperty$Environment): New.dos-reis7-25506/+25560
2008-01-19 * interp/construc.lisp (|loadLibNoUpdate|): Fix thinko in initialdos-reis20-26736/+27100
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-reis13-22377/+22706
2008-01-17extend the case.spad case.input to test the whole Syntax domain.chaosii2-0/+60
2008-01-16 Fix SF/1848975dos-reis3-4/+27
2008-01-16 Fix SF/1872564dos-reis3-6/+15
2008-01-16 Fix SF/1850071dos-reis2-0/+11
2008-01-16 * algebra/boolean.spad.pamphlet (PropositionalLogic): New category.dos-reis9-22180/+22132
2008-01-15 * algebra/syntax.spad (autoCoerce$Syntax): Add overloads.dos-reis5-6/+57
2008-01-14 * interp/compiler.boot (compSymbol): Don't handle possibledos-reis13-9841/+26057
2008-01-13 Fix SF/1852076dos-reis4-5/+17
2008-01-13 Fix SF/1867459dos-reis4-1/+19
2008-01-132008-01-13 Ralf Hemmecke <ralf@hemmecke.de>dos-reis2-1/+7
2008-01-11 * interp/msg.boot (getStFromMsg): Fix typo.dos-reis2-1/+5
2008-01-10Fix thinkodos-reis2-1/+11
2008-01-08Disable highlighting on Win32dos-reis3-8/+22
2008-01-08 * boot/Makefile.pamphlet (AXIOM_LOCAL_LISP): Use Lisp image with Cdos-reis6-12/+60
2008-01-08Automate FFI at Boot leveldos-reis5-9/+62
2008-01-07 * sman/sman.c: Remove debug and dead codes.dos-reis2-92/+17
2008-01-06 * driver/main.c (main) [__WIN32__]: Fix off-by-one thinko.dos-reis2-4/+8
2008-01-052008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis6-196/+306
2008-01-01Annual ChangeLog rotation.dos-reis21-366/+366
2007-12-27Remove more Makefile pamphlets and other leftover.dos-reis20-306/+144
2007-12-27Remove src/bookletsdos-reis3-15/+1
2007-12-27Remove booklets directorydos-reis6-2890/+4
2007-12-27Remove more Makefile pamphletsdos-reis33-1722/+398
2007-12-27Don't use pamphlet for src/lisp/Makefiledos-reis4-163/+38
2007-12-19 * nruncomp.boot (deltaTran): Fix thinko; handle the case where thedos-reis2-0/+6
2007-12-18 * nruncomp.boot: Remove dead code.dos-reis2-46/+5
2007-12-16 SF/1850100dos-reis2-0/+17
2007-12-16 * nruncomp.boot (NOTES): Encode quasiquoted values too.dos-reis4-10/+33
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-02 02:22:33 +0000