open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2009-06-15	* algebra/any.spad.pamphlet (Any): Remove domainOf, objectOf, and	dos-reis	1	-4435/+4435
2009-06-11	* algebra/: Don't quote '!' at end of names.	dos-reis	1	-4465/+4465
2009-06-10	* interp/parse.boot (parseHas): Preserve unnamed category forms.	dos-reis	1	-4464/+4464
2009-06-07	* algebra/kl.spad.pamphlet (name$Kernel): Remove.	dos-reis	1	-3697/+3697
2009-06-07	* algebra/domain.spad.pamphlet (DomainTemplate): New.	dos-reis	1	-5241/+5249
2009-06-01	* interp/compiler.boot (compGreaterThan): Remove.	dos-reis	1	-4460/+4460
2009-06-01	* interp/compiler.boot (compGreaterThan): New. Compile	dos-reis	1	-4456/+4456
2009-05-31	* algebra/term.spad.pamphlet (is?$OperatorCategory): New.	dos-reis	1	-5117/+5132
2009-05-30	* algebra/catdef.spad.pamphlet (SetCategory): Provide default	dos-reis	1	-3671/+3671
2009-05-29	* algebra/algext.spad.pamphlet: Qualify `characteristic'.	dos-reis	1	-4454/+4454
2009-05-28	* interp/compiler.boot (compVector): Tidy code generation.	dos-reis	1	-4451/+4451
2009-05-28	* algebra/boolean.spad.pamphlet (PropositionalLogic): Now export	dos-reis	1	-4391/+4391
2009-05-25	* algebra/kl.spad.pamphlet (KernelFunctions2): Remove OrderedSet	dos-reis	1	-3597/+3597
2009-05-25	Partial fix for AW/193 and AW/334.	dos-reis	1	-3707/+3707
2009-05-21	* algebra/catdef.spad.pamphlet (before?$SetCategory): New.	dos-reis	1	-4473/+4473
2009-05-17	* algebra/op.spad.pamphlet: Use symbol literals for property names.	dos-reis	1	-4448/+4448
2009-05-16	* algebra/op.spad.pamphlet (assert$BasicOperator): Remove overload	dos-reis	1	-6/+6
2009-05-16	* algebra/any.spad.pamphlet: Tidy. Redeuce Lisp usage.	dos-reis	1	-3821/+3821
2009-05-15	* algebra/algfunc.spad.pamphlet (AlgebraicFunction): User	dos-reis	1	-3797/+3797
2009-05-15	* algebra/expr.spad.pamphlet (FunctionSpaceAttachPredicates): Tidy.	dos-reis	1	-3898/+3898
2009-05-15	* algebra/op.spad.pamphlet (assert$BasicOperator): Overload for	dos-reis	1	-4448/+4448
2009-05-14	* algebra/any.spad.pamphlet (RuntimeValue): New domain.	dos-reis	1	-4930/+4930
2009-05-11	(no commit message)	dos-reis	1	-4474/+4474
2009-05-09	* algebra/term.spad.pamphlet (zero?$Arity): New.	dos-reis	1	-4448/+4448
2009-05-05	* algebra/op.spad.pamphlet (property$BasicOperator): Overload with	dos-reis	1	-4471/+4471
2009-04-24	* algebra/syntax.spad.pamphlet (new$Identifier): New.	dos-reis	1	-4448/+4448
2009-04-23	* interp/c-util.boot (extendsCategoryForm): Use current category	dos-reis	1	-4368/+4368
2009-04-20	* interp/sys-constants.boot ($Identifier): New.	dos-reis	1	-4442/+4442
2009-04-19	* algebra/any.spad.pamphlet (Binding): Define Rep. Tidy.	dos-reis	1	-5135/+5145
2009-03-01	Optimization should not change slot numbers.	dos-reis	1	-4895/+4895
2009-02-19	* algebra/catdef.spad.pamphlet (characteristic$Ring): Make a	dos-reis	1	-4889/+4889
2009-02-15	* algebra/data.spad.pamphlet (ByteBuffer): Tidy. Manage size	dos-reis	1	-4403/+4403
2009-02-07	* algebra/system.spad.pamphlet (hostByteOrder$System): New.	dos-reis	1	-5258/+5262
2009-02-04	* algebra/boolean.spad.pamphlet (Boolean): Tidy.	dos-reis	1	-3987/+3987
2009-02-02	* algebra/domain.spad.pamphlet (FunctionDescriptor): New.	dos-reis	1	-5162/+5170
2009-01-28	* algebra/domain.spad.pamphlet (findConstructor$Constructor): New.	dos-reis	1	-4889/+4889
2009-01-13	* algebra/net.spad.pamphlet (InputByteConduit): Add readInt8!,	dos-reis	1	-4482/+4487
2009-01-09	* algebra/data.spad.pamphlet (Byte): Satisfy OrderedFinite.	dos-reis	1	-5092/+5127
2009-01-07	* interp/sys-utility.boot (readByteFromFile): Tidy.	dos-reis	1	-4390/+4390
2009-01-07	* algebra/net.spad.pamphlet (resolve$Hostname): Return a Maybe %.	dos-reis	1	-3613/+3613
2009-01-07	* algebra/any.spad.pamphlet (Maybe): Rework.	dos-reis	1	-4412/+4413
2009-01-03	2009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>	dos-reis	1	-4390/+4393
2008-12-27	* algebra/catdef.spad.pamphlet (OrderedFinite): Export `min' and	dos-reis	1	-3646/+3646
2008-12-27	* algebra/net.spad.pamphlet (readBytes!$InputByteConduit): Set	dos-reis	1	-3659/+3659
2008-12-26	r12485@gauss: gdr \| 2008-12-17 16:26:21 -0600	dos-reis	1	-5203/+5224
2008-12-09	* algebra/term.spad.pamphlet: New. Implement Arity and	dos-reis	1	-5197/+5210
2008-12-05	r12404@gauss: gdr \| 2008-12-04 21:21:54 -0600	dos-reis	1	-4435/+4435
2008-11-20	* algebra/coerce.spad.pamphlet (HomotopicTo): New.	dos-reis	1	-5074/+5080
2008-11-20	* algebra/coerce.spad.pamphlet (CoercibleFrom): New.	dos-reis	1	-5034/+5042
2008-10-24	Add basic support for stream client socket.	dos-reis	1	-5163/+5176