aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
AgeCommit message (Expand)AuthorFilesLines
2008-01-20 * algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad.dos-reis1-0/+9
2008-01-19 * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Now includedos-reis1-0/+7
2008-01-19 * algebra/any.spad.pamphlet (getProperty$Environment): New.dos-reis1-0/+7
2008-01-19 * interp/construc.lisp (|loadLibNoUpdate|): Fix thinko in initialdos-reis1-0/+35
2008-01-17 Fix SF/1849734dos-reis1-0/+17
2008-01-16 Fix SF/1848975dos-reis1-0/+11
2008-01-16 Fix SF/1872564dos-reis1-0/+8
2008-01-16 Fix SF/1850071dos-reis1-0/+5
2008-01-16 * algebra/boolean.spad.pamphlet (PropositionalLogic): New category.dos-reis1-0/+9
2008-01-15 * algebra/syntax.spad (autoCoerce$Syntax): Add overloads.dos-reis1-0/+8
2008-01-14 * interp/compiler.boot (compSymbol): Don't handle possibledos-reis1-0/+19
2008-01-13 Fix SF/1852076dos-reis1-2/+11
2008-01-13 Fix SF/1867459dos-reis1-0/+7
2008-01-132008-01-13 Ralf Hemmecke <ralf@hemmecke.de>dos-reis1-0/+6
2008-01-11 * interp/msg.boot (getStFromMsg): Fix typo.dos-reis1-0/+4
2008-01-10Fix thinkodos-reis1-0/+5
2008-01-08Disable highlighting on Win32dos-reis1-0/+5
2008-01-08 * boot/Makefile.pamphlet (AXIOM_LOCAL_LISP): Use Lisp image with Cdos-reis1-0/+9
2008-01-08Automate FFI at Boot leveldos-reis1-0/+12
2008-01-07 * sman/sman.c: Remove debug and dead codes.dos-reis1-0/+4
2008-01-06 * driver/main.c (main) [__WIN32__]: Fix off-by-one thinko.dos-reis1-0/+4
2008-01-052008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+7
2008-01-01Annual ChangeLog rotation.dos-reis1-366/+0
2007-12-27Remove src/bookletsdos-reis1-0/+1
2007-12-27Remove booklets directorydos-reis1-0/+4
2007-11-262007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+5
2007-09-192007-09-19 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+4
2007-08-222007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+5
2007-08-17src/dos-reis1-0/+8
2007-08-14Initial population.dos-reis1-0/+339
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-25 17:21:43 +0000