XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Src (SVN)-old Commit Log

Commit	Date
[r2145] by kifer message wording fix	2000-12-28 04:15:27	Tree
[r2144] by kifer changes to allow flora to take the -e option.	2000-12-27 00:32:12	Tree
[r2143] by kifer Incorporated push/pop_stdin to improve handling of the -e option.	2000-12-27 00:30:05	Tree
[r2142] by kifer Added ioport2iostream/2, is_valid_ioport/1. Added push/pop_stdin.	2000-12-27 00:28:24	Tree
[r2141] by kifer Changed the default for segfault handling. Fixed bug in the debugger where it fogot to close previously open input stream.	2000-12-27 00:26:43	Tree
[r2140] by ruim Last fix (hopefully) to lib and syslib	2000-12-22 23:21:01	Tree
[r2139] by ruim added last missing file	2000-12-22 23:09:50	Tree
[r2138] by ejohnson Notational correction.	2000-12-21 04:43:53	Tree
[r2137] by tswift Changed typo in file_read_line_list index spec, that prevented the index for manual 2 from being properly updated.	2000-12-20 23:34:54	Tree
[r2136] by ejohnson Amended the XSB User's Manual wrt subsumption and negation.	2000-12-20 20:32:22	Tree

Older >