XSB Src (SVN)-old

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

Commit [r2142] Maximize Restore History

Added ioport2iostream/2, is_valid_ioport/1.

Added push/pop_stdin.

Authored by: kifer 2000-12-27

Browse code at this revision

Parent: [r2141]

Child: [r2143]

changed	/trunk/XSB/syslib/Makefile
changed	/trunk/XSB/syslib/file_io.H
changed	/trunk/XSB/syslib/file_io.O
changed	/trunk/XSB/syslib/file_io.P
changed	/trunk/XSB/syslib/loader.P
added	/trunk/XSB/syslib/push_io.H
added	/trunk/XSB/syslib/push_io.O
added	/trunk/XSB/syslib/push_io.P
changed	/trunk/XSB/syslib/standard.P

/trunk/XSB/syslib/Makefile Diff Switch to side-by-side view

/trunk/XSB/syslib/file_io.H Diff Switch to side-by-side view

/trunk/XSB/syslib/file_io.O

Binary file was changed.

/trunk/XSB/syslib/file_io.P Diff Switch to side-by-side view

/trunk/XSB/syslib/loader.P Diff Switch to side-by-side view

/trunk/XSB/syslib/push_io.H Diff Switch to side-by-side view

/trunk/XSB/syslib/push_io.O

Binary file was added.

/trunk/XSB/syslib/push_io.P Diff Switch to side-by-side view

/trunk/XSB/syslib/standard.P Diff Switch to side-by-side view