aboutsummaryrefslogtreecommitdiff
path: root/configure.ac.pamphlet
AgeCommit message (Expand)AuthorFilesLines
2007-10-14more work toward removing depsysdos-reis1-1/+1
2007-10-102007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-2/+5
2007-10-08daily bumpdos-reis1-1/+1
2007-09-10Daily bump. Fix bug report listdos-reis1-2/+2
2007-09-08 * configure.ac.pamphlet: Fix thinko.dos-reis1-1/+1
2007-09-08 * configure.ac.pamphlet (axiom_optimize_options): New substitueddos-reis1-0/+4
2007-09-07Daily bumpdos-reis1-1/+1
2007-09-04 * configure.ac.pamphlet: Ignore any existing GCL that is notdos-reis1-4/+18
2007-09-04 * configure.ac.pamphlet: Disable HyperDoc if X11 is not available.dos-reis1-21/+26
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-1/+1
2007-08-17 * configure.ac.pamphlet: Check for executable gcl beforedos-reis1-2/+3
2007-08-16 * configure.ac.pamphlet: Don't error out if noweb source filesdos-reis1-5/+16
2007-08-15 * configure.ac.pamphlet: Check GCL tarball dependency.dos-reis1-1/+12
2007-08-14(no commit message)dos-reis1-1/+1
2007-08-14Initial population.dos-reis1-0/+1163
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-25 04:50:17 +0000