| Commit | Date | |
|---|---|---|
| 2008-02-18 22:09:05 | Tree | |
|
[r5870]
by
tswift
Updating make to accord with the pl->P changes to support dynamic loading of CLPR modules. |
2008-02-18 20:53:03 | Tree |
|
[r5869]
by
tswift
Changing .pl -> .P for some files to work better with the module |
2008-02-18 20:29:35 | Tree |
|
[r5868]
by
tswift
added test of precision for compiled float code -- I'll probably have to modify this for 64-bits. |
2008-02-18 20:18:21 | Tree |
|
[r5867]
by
tswift
loader_xsb.c - changed environment conflict message from an xsb_error First, this sort of soft error seems a bit confusing with our (mostly) |
2008-02-18 20:16:04 | Tree |
|
[r5866]
by
tswift
Added call/2 and call/3 in standard. Also in eval, moved pi/1 and e/1 up from end_of_file so compiler can use it. |
2008-02-18 20:02:32 | Tree |
|
[r5865]
by
tswift
Adding weibull, exponential and normal distributins (manual doc added a day or two ago). |
2008-02-18 19:53:42 | Tree |
|
[r5864]
by
tswift
May have forgotten to commit this, it includes changes to allow constant functions like pi and e. |
2008-02-18 19:51:11 | Tree |
|
[r5863]
by
tswift
Changes in system.tex to describe the module system -- old description Changed some description items so that standard predicates will appear Added descriptions of call/[2,3] |
2008-02-18 19:46:36 | Tree |
|
[r5862]
by
dwarren
Fixed bug in compiler handling of goals of form Mod:Variable. |
2008-02-16 21:50:00 | Tree |