open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2008-12-28	* interp/define.boot (compDefineFunctor1): Remove dead code.	dos-reis	4	-25/+11
2008-12-27	* interp/c-util.boot (isSubset): Don't check for Object.	dos-reis	3	-5/+9
2008-12-27	* algebra/catdef.spad.pamphlet (OrderedFinite): Export `min' and	dos-reis	11	-17165/+17195
2008-12-27	* algebra/net.spad.pamphlet (readBytes!$InputByteConduit): Set	dos-reis	16	-17202/+17220
2008-12-26	r12485@gauss: gdr \| 2008-12-17 16:26:21 -0600	dos-reis	20	-27633/+27925
2008-12-22	* interp/i-eval.boot (evaluateType0): Check for builtin	dos-reis	4	-5/+20
2008-12-21	* interp/define.boot (checkRepresentation): Take a third	dos-reis	10	-48/+72
2008-12-20	* interp/i-analy.boot (elaborateForm): New.	dos-reis	4	-7/+20
2008-12-20	* interp/define.boot (checkRepresentation): Take a second	dos-reis	2	-5/+16
2008-12-20	* algebra/newdata.spad.pamphlet (SplittingNode): Define Rep as	dos-reis	6	-138/+170
2008-12-19	* interp/define.boot (insertViewMorphisms): New.	dos-reis	6	-62/+88
2008-12-16	r12470@gauss: gdr \| 2008-12-14 17:43:50 -0600	dos-reis	25	-459/+430
2008-12-14	r12459@gauss: gdr \| 2008-12-12 18:18:31 -0600	dos-reis	31	-2205/+2045
2008-12-12	r12454@gauss: gdr \| 2008-12-12 14:07:23 -0600	dos-reis	1	-14/+31
2008-12-12	r12453@gauss: gdr \| 2008-12-12 09:39:28 -0600	dos-reis	1	-0/+51
2008-12-12	r12452@gauss: gdr \| 2008-12-12 09:04:43 -0600	dos-reis	2	-2/+10
2008-12-12	r12451@gauss: gdr \| 2008-12-12 08:39:20 -0600	dos-reis	4	-47/+42
2008-12-11	r12443@gauss: gdr \| 2008-12-11 15:51:39 -0600	dos-reis	4	-45/+22
2008-12-11	r12442@gauss: gdr \| 2008-12-11 11:58:07 -0600	dos-reis	2	-5/+4
2008-12-11	r12440@gauss: gdr \| 2008-12-11 05:38:58 -0600	dos-reis	1	-2/+2
2008-12-11	r12439@gauss: gdr \| 2008-12-10 10:50:26 -0600	dos-reis	2	-5/+5
2008-12-11	r12438@gauss: gdr \| 2008-12-10 01:20:20 -0600	dos-reis	3	-6/+5
2008-12-11	r12437@gauss: gdr \| 2008-12-09 22:23:31 -0600	dos-reis	2	-17/+3
2008-12-11	r12436@gauss: gdr \| 2008-12-09 21:32:50 -0600	dos-reis	3	-19/+42
2008-12-09	* algebra/term.spad.pamphlet: New. Implement Arity and	dos-reis	10	-27642/+27816
2008-12-09	r12415@gauss: gdr \| 2008-12-06 11:42:45 -0600	dos-reis	9	-57/+83
2008-12-08	2008-12-07 Gabriel Dos Reis <gdr@cs.tamu.edu>	dos-reis	17	-14/+365
2008-12-06	Support getting process id in Windows.	alfredoport	7	-9/+28
2008-12-05	r12404@gauss: gdr \| 2008-12-04 21:21:54 -0600	dos-reis	10	-20003/+20029
2008-12-03	* interp/compiler.boot (compIs): Error if left operand is not a	dos-reis	2	-1/+9
2008-12-02	* interp/parsing.lisp (initial-substring-p): Match case sensitively.	dos-reis	2	-1/+5
2008-12-01	* interp/define.boot (compile): Don't check for PAC names.	dos-reis	5	-18/+25
2008-12-01	* interp/parse.boot (parseEquivalence): Remove.	dos-reis	2	-8/+4
2008-12-01	* interp/define.boot (disallowNiAttribute): Remove.	dos-reis	7	-30/+34
2008-11-30	* interp/nruncomp.boot (deltaTran): Don't check for $NRTaddForm	dos-reis	3	-4/+10
2008-11-30	* interp/define.boot (mustInstantiate): Fix thinko introduced by	dos-reis	6	-13/+20
2008-11-29	* interp/nruncomp.boot (genDeltaSpecialSig): Remove, as unused.	dos-reis	2	-4/+4
2008-11-29	* interp/nruncomp.boot (deltaTran): Don't encode signature again.	dos-reis	2	-5/+8
2008-11-29	* interp/compiler.boot (setqSingle): Use setShellEntry.	dos-reis	7	-12/+28
2008-11-29	Misc cleanup	dos-reis	1	-25/+24
2008-11-29	* interp/define.boot (compCapsuleInner): Call processFunctor.	dos-reis	4	-131/+12
2008-11-29	* interp/nruncomp.boot (buildFunctor): Remov reference to $NRTvec.	dos-reis	5	-22/+18
2008-11-27	* interp/server.boot (serverLoop): Remove, as unused.	dos-reis	2	-43/+4
2008-11-27	* interp/nruncomp.boot (NRTgetAddForm): Remove, as unused.	dos-reis	2	-5/+4
2008-11-27	* interp/nruncomp.boot (NRTassocIndex): Don't set $found.	dos-reis	2	-3/+7
2008-11-27	Fix spelling.	dos-reis	4	-7/+7
2008-11-26	* interp/define.boot (compSignature): New. Split from	dos-reis	2	-38/+50
2008-11-26	* interp/parse.boot (parseImplies): Remove.	dos-reis	2	-7/+5
2008-11-24	* interp/lisplib.boot (compDefineExports): Tidy.	dos-reis	3	-13/+21
2008-11-24	* interp/i-output.boot ($RecordSeparator): New.	dos-reis	8	-11/+36