XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r897] by kifer The new Flora testsuite. Not functional yet, because of the XSB bugs.	1999-06-18 06:33:10	Tree
[r896] by kifer Added ./ in front of gentest, so it won't depend on weird PATHs	1999-06-18 06:31:14	Tree
[r895] by kifer Tidied up imports.	1999-06-17 20:19:17	Tree
[r894] by kifer Fixed problems with reading command goal. Now you can have several queries on the same command line.	1999-06-17 20:11:40	Tree
[r893] by kifer Fixed problems with bootstrapping flora.	1999-06-17 20:10:10	Tree
[r892] by kifer Added a query	1999-06-17 19:29:26	Tree
[r891] by kostis Modified the top-level not to print variables starting with an underscore.	1999-06-17 18:34:10	Tree
[r890] by kifer Some further tweaks to Flora major mode.	1999-06-17 15:29:56	Tree
[r889] by kifer Added more explanations on the interaction of tabling and imperative constructs, like write.	1999-06-17 15:29:17	Tree
[r888] by kifer Changes due to the replacement of the buggy is_string with the builtin is_charlist.	1999-06-17 08:10:05	Tree

Older >