From: <ts...@us...> - 2013-09-11 19:26:18
|
Revision: 7802 http://sourceforge.net/p/xsb/src/7802 Author: tswift Date: 2013-09-11 19:26:14 +0000 (Wed, 11 Sep 2013) Log Message: ----------- updated version number in manual. Modified Paths: -------------- trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/manual1.tex |
From: <ts...@us...> - 2013-09-11 19:37:08
|
Revision: 7803 http://sourceforge.net/p/xsb/src/7803 Author: tswift Date: 2013-09-11 19:37:06 +0000 (Wed, 11 Sep 2013) Log Message: ----------- Updated version in vol 2. Modified Paths: -------------- trunk/XSB/docs/userman/manual2.pdf trunk/XSB/docs/userman/manual2.tex |
From: <ts...@us...> - 2013-10-14 21:58:28
|
Revision: 7813 http://sourceforge.net/p/xsb/src/7813 Author: tswift Date: 2013-10-14 21:58:25 +0000 (Mon, 14 Oct 2013) Log Message: ----------- Hopefully explaining call_tv a little better. Modified Paths: -------------- trunk/XSB/docs/userman/builtin.tex trunk/XSB/docs/userman/manual1.pdf |
From: <ts...@us...> - 2013-10-14 23:05:13
|
Revision: 7814 http://sourceforge.net/p/xsb/src/7814 Author: tswift Date: 2013-10-14 23:05:12 +0000 (Mon, 14 Oct 2013) Log Message: ----------- Added epoch_seconds/1. Modified Paths: -------------- trunk/XSB/docs/userman/library.tex trunk/XSB/docs/userman/manual2.pdf |
From: <ki...@us...> - 2013-11-03 06:53:49
|
Revision: 7832 http://sourceforge.net/p/xsb/src/7832 Author: kifer Date: 2013-11-03 06:53:45 +0000 (Sun, 03 Nov 2013) Log Message: ----------- fixed a few typos Modified Paths: -------------- trunk/XSB/docs/userman/library.tex trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/manual2.pdf trunk/XSB/docs/userman/tables.tex |
From: <ts...@us...> - 2013-12-20 21:50:02
|
Revision: 7861 http://sourceforge.net/p/xsb/src/7861 Author: tswift Date: 2013-12-20 21:49:58 +0000 (Fri, 20 Dec 2013) Log Message: ----------- Discussion of (Prolog-based) conditional compilation. Modified Paths: -------------- trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/system.tex |
From: <dw...@us...> - 2014-01-31 14:30:10
|
Revision: 7890 http://sourceforge.net/p/xsb/src/7890 Author: dwarren Date: 2014-01-31 14:30:08 +0000 (Fri, 31 Jan 2014) Log Message: ----------- Added documentation for module_of_term/2. Modified Paths: -------------- trunk/XSB/docs/userman/library.tex trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/manual2.pdf |
From: <ts...@us...> - 2014-02-02 20:47:01
|
Revision: 7892 http://sourceforge.net/p/xsb/src/7892 Author: tswift Date: 2014-02-02 20:46:58 +0000 (Sun, 02 Feb 2014) Log Message: ----------- Updated for UTF-8 based I/O, and updated some old section of syntax.tex. Modified Paths: -------------- trunk/XSB/docs/userman/builtin.tex trunk/XSB/docs/userman/comparison.tex trunk/XSB/docs/userman/credits1.tex trunk/XSB/docs/userman/dcg.tex trunk/XSB/docs/userman/library.tex trunk/XSB/docs/userman/manual.bib trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/manual1.tex trunk/XSB/docs/userman/syntax.tex trunk/XSB/docs/userman/system.tex |
From: <ts...@us...> - 2014-02-02 21:30:31
|
Revision: 7896 http://sourceforge.net/p/xsb/src/7896 Author: tswift Date: 2014-02-02 21:30:26 +0000 (Sun, 02 Feb 2014) Log Message: ----------- Included our non-standard error terms in the ISO incompatability blurb. Maybe this way, I'll remember to fix it at some point. Modified Paths: -------------- trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/system.tex |
From: <ts...@us...> - 2014-02-07 17:55:07
|
Revision: 7908 http://sourceforge.net/p/xsb/src/7908 Author: tswift Date: 2014-02-07 17:55:05 +0000 (Fri, 07 Feb 2014) Log Message: ----------- Added notes to old string manipulation predicates to indicate whether or not they support UTF-8 (about 1/2) do. Modified Paths: -------------- trunk/XSB/docs/userman/library.tex trunk/XSB/docs/userman/manual2.pdf trunk/XSB/docs/userman/manual2.tex |
From: <ts...@us...> - 2014-02-23 21:49:10
|
Revision: 7910 http://sourceforge.net/p/xsb/src/7910 Author: tswift Date: 2014-02-23 21:49:08 +0000 (Sun, 23 Feb 2014) Log Message: ----------- Updated manual for character sets. Modified Paths: -------------- trunk/XSB/docs/userman/builtin.tex trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/manual2.pdf trunk/XSB/docs/userman/system.tex |
From: <ts...@us...> - 2014-02-23 22:05:59
|
Revision: 7914 http://sourceforge.net/p/xsb/src/7914 Author: tswift Date: 2014-02-23 22:05:57 +0000 (Sun, 23 Feb 2014) Log Message: ----------- Forgot to add character_set as a flag. Modified Paths: -------------- trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/state.tex |
From: <ts...@us...> - 2014-04-24 21:15:16
|
Revision: 7956 http://sourceforge.net/p/xsb/src/7956 Author: tswift Date: 2014-04-24 21:15:12 +0000 (Thu, 24 Apr 2014) Log Message: ----------- Fixed some errors about exception handling -- throws have been changed so that they clean up tables, and this wasn't evident in the documentation. Modified Paths: -------------- trunk/XSB/docs/userman/exceptions.tex trunk/XSB/docs/userman/manual1.pdf |
From: <dw...@us...> - 2014-05-02 01:05:55
|
Revision: 7961 http://sourceforge.net/p/xsb/src/7961 Author: dwarren Date: 2014-05-02 01:05:52 +0000 (Fri, 02 May 2014) Log Message: ----------- documented new flags, concat_atom running backwards. Modified Paths: -------------- trunk/XSB/docs/userman/builtin.tex trunk/XSB/docs/userman/state.tex |
From: <ts...@us...> - 2014-05-02 19:00:15
|
Revision: 7962 http://sourceforge.net/p/xsb/src/7962 Author: tswift Date: 2014-05-02 19:00:13 +0000 (Fri, 02 May 2014) Log Message: ----------- Major rewrite of incremental tabling system; updated biblio references and credits. Modified Paths: -------------- trunk/XSB/docs/userman/credits1.tex trunk/XSB/docs/userman/incr_tabling.tex trunk/XSB/docs/userman/longstring.bib trunk/XSB/docs/userman/manual.bib trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/manual2.pdf trunk/XSB/docs/userman/system.tex trunk/XSB/docs/userman/tables.tex |
From: <ts...@us...> - 2014-05-02 19:07:57
|
Revision: 7963 http://sourceforge.net/p/xsb/src/7963 Author: tswift Date: 2014-05-02 19:07:54 +0000 (Fri, 02 May 2014) Log Message: ----------- Some extra minor changes. Modified Paths: -------------- trunk/XSB/docs/userman/builtin.tex trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/manual2.pdf trunk/XSB/docs/userman/manual2.tex |
From: <dw...@us...> - 2014-05-04 15:54:39
|
Revision: 7965 http://sourceforge.net/p/xsb/src/7965 Author: dwarren Date: 2014-05-04 15:54:36 +0000 (Sun, 04 May 2014) Log Message: ----------- Added documentation on interning terms and using (e.g.) :- table p/2 as intern. Modified Paths: -------------- trunk/XSB/docs/userman/builtin.tex trunk/XSB/docs/userman/manual.bib trunk/XSB/docs/userman/tables.tex |
From: <ts...@us...> - 2014-05-04 22:48:58
|
Revision: 7969 http://sourceforge.net/p/xsb/src/7969 Author: tswift Date: 2014-05-04 22:48:56 +0000 (Sun, 04 May 2014) Log Message: ----------- Forgot to add. Modified Paths: -------------- trunk/XSB/docs/userman/manual1.pdf Added Paths: ----------- trunk/XSB/docs/userman/recursion-eps-converted-to.pdf trunk/XSB/docs/userman/recursion.eps trunk/XSB/docs/userman/recursion.fig |
From: <ts...@us...> - 2014-05-20 13:29:58
|
Revision: 7972 http://sourceforge.net/p/xsb/src/7972 Author: tswift Date: 2014-05-20 13:29:55 +0000 (Tue, 20 May 2014) Log Message: ----------- Forgot to commit earlier. Added Paths: ----------- trunk/XSB/docs/userman/abs-recursion-eps-converted-to.pdf trunk/XSB/docs/userman/abs-recursion.eps trunk/XSB/docs/userman/abs-recursion.fig |
From: <dw...@us...> - 2014-07-01 14:35:27
|
Revision: 7984 http://sourceforge.net/p/xsb/src/7984 Author: dwarren Date: 2014-07-01 14:35:26 +0000 (Tue, 01 Jul 2014) Log Message: ----------- A number of documentation changes, mostly suggested by Ulrich Neumerkel, having mostly to do with ISO issues. Modified Paths: -------------- trunk/XSB/docs/userman/builtin.tex trunk/XSB/docs/userman/comparison.tex trunk/XSB/docs/userman/dcg.tex trunk/XSB/docs/userman/exceptions.tex trunk/XSB/docs/userman/incr_tabling.tex trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/manual1.tex trunk/XSB/docs/userman/manual2.pdf trunk/XSB/docs/userman/rbltin.tex trunk/XSB/docs/userman/state.tex trunk/XSB/docs/userman/system.tex trunk/XSB/docs/userman/tables.tex |
From: <ts...@us...> - 2014-08-02 17:26:59
|
Revision: 8003 http://sourceforge.net/p/xsb/src/8003 Author: tswift Date: 2014-08-02 17:26:50 +0000 (Sat, 02 Aug 2014) Log Message: ----------- Added documentation for abolish_nonincremental_tables/1. Modified Paths: -------------- trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/manual2.pdf trunk/XSB/docs/userman/table_builtins.tex |
From: <ts...@us...> - 2014-08-08 19:23:06
|
Revision: 8011 http://sourceforge.net/p/xsb/src/8011 Author: tswift Date: 2014-08-08 19:23:02 +0000 (Fri, 08 Aug 2014) Log Message: ----------- Mostly minor changes to incremental tabling section to change names from _update to _immed Modified Paths: -------------- trunk/XSB/docs/userman/debugging.tex trunk/XSB/docs/userman/incr_tabling.tex trunk/XSB/docs/userman/longstring.bib trunk/XSB/docs/userman/manual.bib trunk/XSB/docs/userman/manual1.pdf |
From: <ts...@us...> - 2014-08-13 22:37:22
|
Revision: 8026 http://sourceforge.net/p/xsb/src/8026 Author: tswift Date: 2014-08-13 22:37:12 +0000 (Wed, 13 Aug 2014) Log Message: ----------- * added idb option to statistics/2 * Code factoring of abolishes. * Removed usages of old, incorrect abolish incr call, replacing with new * Fixed bugs in reclamining incremental and/or subsumptive tables during tabled gc (as opposed to initial abolish time), and in abolish_table_call transitive. more to come... Modified Paths: -------------- trunk/XSB/docs/userman/incr_tabling.tex trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/quick_start.tex trunk/XSB/docs/userman/state.tex trunk/XSB/docs/userman/table_builtins.tex |
From: <ts...@us...> - 2014-08-17 20:36:55
|
Revision: 8038 http://sourceforge.net/p/xsb/src/8038 Author: tswift Date: 2014-08-17 20:36:48 +0000 (Sun, 17 Aug 2014) Log Message: ----------- Added incr_is_invalid/1, incr_invalid_subgoals/1 to allow inspection of table states in incremental tabling. Also added some discussion about abolishes and incremental tabling. Modified Paths: -------------- trunk/XSB/docs/userman/incr_tabling.tex trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/table_builtins.tex trunk/XSB/docs/userman/tables.tex |
From: <ts...@us...> - 2014-08-28 21:21:26
|
Revision: 8047 http://sourceforge.net/p/xsb/src/8047 Author: tswift Date: 2014-08-28 21:21:19 +0000 (Thu, 28 Aug 2014) Log Message: ----------- Updated documentation for abolish_nonincremental_tables. Modified Paths: -------------- trunk/XSB/docs/userman/manual1.pdf trunk/XSB/docs/userman/table_builtins.tex |