| Commit | Date | |
|---|---|---|
|
[r5846]
by
tswift
Adding (the correct version of) bounds.xwam as is can be a little difficult to compile. Also, upated bounds.pl with a portray hook so that you can see the values of the variables in the command line. |
2008-02-13 22:11:46 | Tree |
| 2008-02-13 22:09:15 | Tree | |
| 2008-02-13 21:00:07 | Tree | |
| 2008-02-13 20:57:02 | Tree | |
| 2008-02-13 20:53:37 | Tree | |
| 2008-02-13 20:49:05 | Tree | |
|
[r5840]
by
tswift
Committing standard.xwam (guess I forgot). also added numbervars/3 to as a "builtin" -- as specified in the long-way-from-adopted core revision. |
2008-02-13 01:06:07 | Tree |
|
[r5839]
by
tswift
Lots of changes that started with adding doc for sub_atom/5. I |
2008-02-12 23:49:26 | Tree |
|
[r5838]
by
tswift
Added a couple of ISO predicates that aren't very useful unless you |
2008-02-12 23:44:48 | Tree |
|
[r5837]
by
dwarren
Added new cdf_checks for checking DL rules. (To help avoid problems |
2008-02-11 22:33:30 | Tree |