XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r2561] by kifer small changes	2001-07-06 23:18:26	Tree
[r2560] by kifer Exported print_pterm, VarStrOps for windows compilation	2001-07-06 18:19:42	Tree
[r2559] by kifer fixes for windows	2001-07-06 02:48:18	Tree
[r2558] by kifer make sure .so isn't used under windows	2001-07-05 23:43:03	Tree
[r2557] by tswift Changes mainly to make write_term use a special form of display. Also changes to current_prefix in xsb_ciao.P	2001-07-05 20:34:17	Tree
[r2556] by tswift Some re-organization that occurred when I was updating the manual.	2001-07-05 20:29:28	Tree
[r2555] by tswift Various changes to fix manual indices, and to add documentation for write_term.	2001-07-05 20:02:34	Tree
[r2554] by lfcastro * minor modification	2001-07-05 16:49:01	Tree
[r2553] by lfcastro * Make local the default scheduling strategy	2001-07-05 16:42:10	Tree
[r2552] by tswift Added nmr, which contains xnmr, gaps and wfsx.	2001-07-05 15:07:51	Tree

Older >