XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r8565] by kifer fixed references in the manual committed asm.xwam, which seems to have been an old version	2016-01-06 06:28:16	Tree
[r8564] by tswift Forgot to commit.	2016-01-05 23:39:06	Tree
[r8563] by tswift Changes for tripwires w.r.t. prolog flags and added printing routines for SDGs.	2016-01-04 00:43:55	Tree
[r8562] by tswift Added a new test of SDG printing and fixed a bug in SDG morphisms.	2016-01-04 00:26:41	Tree
[r8561] by tswift A few updates to inspection.tex, although there is plenty left to do.	2016-01-04 00:22:53	Tree
[r8560] by tswift Factored out libraries borrowed from other Prologs. Also I commented out the justification section as this is not being maintained, and we arguably have better debugging methods now.	2016-01-03 16:03:50	Tree
[r8559] by tswift Since I needed to use AVL trees, I took a few minutes out to document assoc.P, the libary that contains this functionality.	2016-01-03 16:02:11	Tree
[r8558] by tswift Initial test for tripwires.	2016-01-01 23:40:26	Tree
[r8557] by tswift Initial commit for tripwires	2016-01-01 23:37:40	Tree
[r8556] by tswift Initial commit for tripwire handling for large number of subgoals / large number of SCCs.	2016-01-01 23:33:24	Tree

Older >