aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/syntax.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2012-02-03 11:21:00 +0000
committerdos-reis <gdr@axiomatics.org>2012-02-03 11:21:00 +0000
commitd36c43d159d39a847ef8728e5da201bb29e747f5 (patch)
tree06befc858ccc2912afd67fc705f64e568a6e7a16 /src/algebra/syntax.spad.pamphlet
parenta00d32a888a910fe517afb91cc48a6eb44ed58da (diff)
downloadopen-axiom-d36c43d159d39a847ef8728e5da201bb29e747f5.tar.gz
* config/open-axiom.m4 (OPENAXIOM_ALIGNAS_SPECIFIER): New.
(OPENAXIOM_CHECK_MISC): Use it. src/ * utils/vm.H: Add more VM data structures. * utils/vm.cc (BasicContext::make_operator): Define. * algebra/Makefile.in (SPADFILES): Include syntax.spad and spad-parser.spad.
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions