aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/exposed.lsp.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2008-09-02 * algebra/syntax.spad.pamphlet (Literal): New.dos-reis1-1/+4
(Identifier): Likewise. (Signature): Tidy. * algebra/exposed.lsp.pamphlet: Expose IDENT and LITERAL. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add LITERAL and IDENT. (user-stamp): Don't depend directly on bootstrap-stamp. * share/algebra/: Update databases.
2008-08-24 * algebra/net.spad.pamphlet: New.dos-reis1-0/+3
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include HOSTNAME and PORTNUM. * algebra/exposed.lsp.pamphlet: Export them. * algebra/data.spad.pamphlet (DataBuffer): New.
2008-08-23 * algebra/any.spad.pamphlet (Maybe): New domain.dos-reis1-0/+1
* algebra/exposed.lsp.pamphlet: Expose it. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include MAYBE.
2008-08-10 * algebra/syntax.spad.pamphlet (AbstractSyntaxCategory): New.dos-reis1-0/+2
(HeadAst): Likewise.
2008-05-08 * algebra/java.spad.pamphlet: New. Implement JavaBytecode.dos-reis1-0/+1
* algebra/data.spad.pamphlet (bitand$Byte): New. (bitior$Byte): Likewwise. (byte$Byte): Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_15): Include JAVACODE.
2008-04-21Add support for byte values, and byte buffers.dos-reis1-0/+2
2008-03-16Add support for MathML outputalfredoport1-0/+1
2008-03-16 * lisp/Makefile.in (void_type): New.dos-reis1-4/+5
(char_type): Likewise. (int_type): Likewise. (float_type): Likewise. (double_type): Likewise. (string_type): Likewise. (pointer_type): Likewise. (edit): Use them. * interp/wi1.boot (ppFull): Tidy. Don't set *PRINT-DEPTH*. * interp/vmlisp.lisp (gcmsg): Define when SBCL. * interp/template.boot (measureCommon): Fix thinko. * interp/sys-utility.boot: Move basic type definition from g-util.boot to here. * interp/g-util.boot (augProplistOf): Fix signature declaration. * interp/daase.lisp: Tidy. * interp/c-util.boot (displayComp): Remove assignment to $X,$M,$F. * interp/boot-pkg.lisp: Tidy. * interp/axext_l.lisp: Likewise. * interp/Makefile.pamphlet (makeint.lisp): Call GBC only when GCL. ($(axiom_targetdir)/algebra/exposed.$(FASLEXT)): Tidy. (patches.$(FASLEXT)): Require debug.$(FASLEXT), g-timer.$(FASLEXT). (wi2.$(FASLEXT)): Require define.$(FASLEXT). (spad.$(FASLEXT)): Require postpar.$(FASLEXT), debug.$(FASLEXT). * boot/translator.boot (genImportDeclaration): Include translation for SBCL. * boot/parser.boot (bpMapping): Tidy. * boot/ast.boot (coreSymbol): New. (bootSymbol): Likewise. (bootSymbol): Likewise. * lisp/core.lisp.in (|$NativeTypeTable|): New. Export. * algebra/Makefile.pamphlet (COMPILE_LISP): Use $(INTERPSYS). * algebra/exposed.lsp.pamphlet: Tidy.
2008-02-14Update release informationdos-reis1-0/+2
2008-01-20 * algebra/syntax.spad.pamphlet (ElaboratedExpression): New.dos-reis1-1/+1
* algebra/any.spad.pamphlet: Rename ObjectProperty to Property. * algebra/exposed.lsp.pamphlet: Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_5): Include ELABEXPR.o * share/algebra: Update databases.
2008-01-19 * interp/construc.lisp (|loadLibNoUpdate|): Fix thinko in initialdos-reis1-0/+5
value for empty environments. * interp/database.boot (rebuildCDT): Likewise. * interp/i-map.boot (addDefMap): Likewise. (rewriteMap0): Likewise. (rewriteMap1): Likewise. (compileDeclaredMap): Likewise. (analyzeUndeclaredMap): Likewise. * interp/i-spec1.boot: Likewise. * interp/i-syscmd.boot (reportOperations): Likewise. * interp/i-toplev.boot (interpret): Likewise. * interp/lisplib.boot (loadLib): Likewise. (loadLibNoUpdate): Likewise. * interp/setvars.boot (resetWorkspaceVariables): Likewise. * interp/spad.lisp ($e): Move definition to sys-globals.boot. ($env): Likewise. * interp/sys-globals.boot ($e): Define here. ($env): Likewise. * algebra/any.spad.pamphlet (ObjectProperty): New. (Binding): Likewise. (Contour): Likewise. (Scope): Likewise. (Environment): Likewise. * algebra/exposed.lsp.pamphlet: Expose ObjectProperty, Binding, Contour, Scope, and Environment. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include OBJPROP.o. (axiom_algebra_layer_1): Include BINDING.o (axiom_algebra_layer_2): Include CONTOUR.o (axiom_algebra_layer_3): Include SCOPE.o (axiom_algebra_layer_4): Include ENV.o * share/algebra: Update database.
2008-01-17 Fix SF/1849734dos-reis1-0/+3
* interp/i-spec1.boot (upand): Don't insist on having operands of type Boolean. (upor): Likewise. * algebra/mkrecord.spad.pamphlet (Pair): New domain constructor. * algebra/exposed.lsp.pamphlet: Expose Pair, PropositionalLogic, PropositionalFormula. * algebra/boolean.spad.pamphlet (PropositionalFormula): New domain constructor. * algebra/Makefile.pamphlet (axiom_algebra_layer_4): Include PAIR.o. (axiom_algebra_layer_19): Include PROPFRML.o * share/algebra: Update databases. * testsuite/interpreter/1849734.input: New.
2007-12-03src/algebra/dos-reis1-0/+1
2007-12-03 Gabriel Dos Reis <gdr@cs.tamu.edu> * script-parser.spad: New. * Makefile.pamphlet (axiom_algebra_layer_19): Include PARSER.o (PARSER.NRLIB/code.$(FASLEXT)): New rule. * exposed.lsp.pamphlet: Expose Parser constructor. src/interp/ 2007-12-03 Gabriel Dos Reis <gdr@cs.tamu.edu> * i-parser.boot: New. * Makefile.pamphlet (i-parser.$(FASLEXT)): New rule. (OBJS): Include i-parser.$(FASLEXT).
2007-11-15add spad parser librarydos-reis1-0/+2
2007-08-14Initial population.dos-reis1-0/+1257