aboutsummaryrefslogtreecommitdiff
path: root/src/input
AgeCommit message (Expand)AuthorFilesLines
2010-12-01 * interp/sys-driver.boot (executeSpadScript): Inform the systemdos-reis1-9/+8
2010-11-05 * interp/Makefile.pamphlet: Remove.dos-reis2-901/+34
2010-08-21 External tool noweb is no longer required.dos-reis2-4/+4
2010-06-28 * interp/sys-constants.boot ($SystemInlinableConstructorNames):dos-reis1-2/+1
2010-06-12 * algebra/permgrps.spad.pamphlet (PermutationGroup): Renamedos-reis2-7/+7
2010-05-27cleanupdos-reis13-111/+111
2010-05-23 * input/collect.input.pamphlet: Remove bogus expression.dos-reis1-1/+0
2009-07-16 * algebra/odeef.spad.pamphlet (ElementaryFunctionODESolver): Tidy.dos-reis1-1/+1
2009-07-12Fix thinkodos-reis1-1/+1
2009-07-12 * algebra/mkfunc.spad.pamphletdos-reis1-1/+1
2008-10-14 Fix AW/292dos-reis2-2/+7
2008-10-05 * interp/c-util.boot (isAtomicForm): New.dos-reis2-4/+6
2008-10-01Fix typosdos-reis2-6/+6
2008-08-13 * input/expr.input.pamphlet: Fix typo.dos-reis1-1/+1
2008-08-09 * input/grpthry.input.pamphlet: Fix typo.dos-reis1-4/+4
2008-08-08 * algebra/aggcat.spad.pamphlet (part?$SetAggregate): Renamedos-reis2-3/+4
2008-08-04 * Makefile.pamphlet: Use $(mkdir_p) in lieu of $(mkinstalldirs),dos-reis2-6/+6
2008-07-17 * input/pat.input.pamphlet (square): Define square an operatpr.dos-reis1-0/+1
2008-05-23Fix breakage from last commits.dos-reis1-751/+751
2008-05-22Avoid numeric constants macros.dos-reis1-751/+751
2008-04-13Various cleanups.dos-reis2-19/+19
2008-04-02src/boot/dos-reis1-1/+1
2008-03-25 * interp/bootlex.lisp: Import "sys-globals". dos-reis2-2/+2
2008-03-24Add support for SBCL and CLispdos-reis2-2/+2
2008-01-01Annual ChangeLog rotation.dos-reis1-0/+0
2007-12-27Remove more Makefile pamphlets and other leftover.dos-reis9-34/+34
2007-10-14more work toward removing depsysdos-reis2-13/+17
2007-10-10src/input/dos-reis3-12/+10
2007-08-222007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis3-45/+19
2007-08-14Initial population.dos-reis537-0/+45129
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-01 00:53:24 +0000