Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Sources (SVN) Log


Commit Date  
[r7805] by tswift

Change to allow forest logging at different levels.

2013-09-11 19:47:30 Tree
[r7804] by tswift

Changes to allow forest logging at different levels.

2013-09-11 19:44:51 Tree
[r7803] by tswift

Updated version in vol 2.

2013-09-11 19:37:06 Tree
[r7802] by tswift

updated version number in manual.

2013-09-11 19:26:14 Tree
[r7801] by tswift

test of commit.

2013-09-11 19:14:41 Tree
[r7800] by dwarren

Fixed typo in comment;
Reduced number of read-canonical errors until aborting processing to 5
Added processing of ?- commands.

2013-09-06 13:37:03 Tree
[r7799] by dwarren

Fixed test for building trace to correctly check pflags[BACKTRACE] (and
not flags[BACKTRACE]).

2013-09-04 19:38:27 Tree
[r7798] by dwarren

Added import of findall/3 in compilation of answer subsumption.

2013-09-03 21:26:54 Tree
[r7797] by dwarren

refactored and introduced useful subpredicate:
psc_modname_filename/3, to get module name and file name for a given PSC addr,
and exported it, for use elsewhere.

2013-09-03 12:52:20 Tree
[r7796] by dwarren

Changed to remove spurious warning.

2013-09-03 12:47:38 Tree
[r7795] by dwarren

FIxed formatting issue.

2013-09-03 12:46:16 Tree
[r7794] by dwarren

Changed file_close to close (which is the better one to use...)

2013-09-03 12:42:56 Tree
[r7793] by dwarren

In parse: added standardize-variables-apart when expand_term returns a list
(very obscure, but a student ran into this, and it seems reasonable to do.)
In compile: cleaned up commenting out of ti-indexing (so no warnings, and
not loaded.)

2013-09-03 12:39:51 Tree
[r7792] by kifer

renamed util.* into sgmlutil.* to avoid name clashes.

2013-08-19 03:14:46 Tree
[r7791] by kifer

renamed util.* into sgmlutil.* to avoid name clashes.

2013-08-19 03:09:37 Tree
[r7790] by kifer

escape spaces in XSB directories and the file being compiled.
otherwise, XSB barks when run in directories that have spaces, :, etc.
This change affexts only unix-based systems, not Windows (but it does affect
Cygwin).

2013-07-20 07:33:55 Tree
[r7789] by kifer

ignored file

2013-07-09 19:30:32 Tree
[r7788] by kifer

improved xsb.iss
made xsb.in work with spaces in file names

2013-07-09 19:28:56 Tree
[r7787] by kifer

got rid of compiler warnings

2013-07-08 22:46:17 Tree
[r7786] by kifer

ignored files

2013-07-08 18:30:29 Tree
[r7785] by kifer

recommitted my improvements to xsb.iss
recompiled the manuals

2013-07-04 17:49:10 Tree
[r7784] by pmoura

Added missing directories to the Inno Setup script for building the Windows binary installer.

2013-07-04 10:26:37 Tree
[r7783] by kifer

ignored files

2013-07-04 08:26:06 Tree
[r7782] by kifer

ndows installer, added missing files

2013-07-04 08:24:38 Tree
[r7781] by kifer

updated the configuration for Xpath. Also the manual.

2013-06-21 05:10:17 Tree
Older >