aboutsummaryrefslogtreecommitdiff
path: root/configure
AgeCommit message (Expand)AuthorFilesLines
2007-10-14more work toward removing depsysdos-reis1-9/+9
2007-10-102007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-40/+43
2007-10-08daily bumpdos-reis1-9/+9
2007-09-10Daily bump. Fix bug report listdos-reis1-39/+39
2007-09-08 * configure.ac.pamphlet: Fix thinko.dos-reis1-1/+1
2007-09-08 * configure.ac.pamphlet (axiom_optimize_options): New substitueddos-reis1-25/+33
2007-09-07Daily bumpdos-reis1-12/+12
2007-09-04 * configure.ac.pamphlet: Ignore any existing GCL that is notdos-reis1-3/+19
2007-09-04 * configure.ac.pamphlet: Disable HyperDoc if X11 is not available.dos-reis1-175/+180
2007-09-022007-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-1/+1
2007-08-24 * configure.ac.pamphlet: Set release info to 1.1.0 (experimental).dos-reis1-11/+11
2007-08-17 * configure.ac.pamphlet: Check for executable gcl beforedos-reis1-8/+9
2007-08-16 * configure.ac.pamphlet: Don't error out if noweb source filesdos-reis1-3/+9
2007-08-15 * configure.ac.pamphlet: Check GCL tarball dependency.dos-reis1-1/+16
2007-08-14(no commit message)dos-reis1-2/+2
2007-08-14Initial population.dos-reis1-0/+26019
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 17:58:32 +0000