Menu

Src (SVN)-old Commit Log


Commit Date  
[r975] by kostis

Changes in the general unification routine to speed up unification;
around 10-20% for some programs; courtecy of Bart Demoen and Kostis
Sagonas.

1999-07-04 10:39:19 Tree
[r974] by kifer

Enabled tracing of findall, call.

1999-07-04 06:18:24 Tree
[r973] by kifer

Fixed proglems with Redo and uninstantiated vars in the debugger.

1999-07-04 06:17:34 Tree
[r972] by kifer

small things

1999-07-02 22:52:50 Tree
[r971] by warren

clean up sockets interface in minor way. Eliminate socket flush.

1999-07-02 20:16:23 Tree
[r970] by kifer

Changes to enable native flora debugging

1999-07-02 08:10:29 Tree
[r969] by kifer

Bug fixes, fixed undef functions

1999-07-02 08:09:47 Tree
[r968] by kifer

Typos

1999-07-02 08:09:16 Tree
[r967] by kifer

Started writing Flora debugger.
Can skip most uninteresting subgoals, and can display many things in
Flora syntax.

1999-07-02 08:08:03 Tree
[r966] by kifer

made hide_this_hide, hide_this_show, show_this_hide user configurable.
There is now a hook to display debugger goals.

1999-07-02 08:06:30 Tree
Older >
MongoDB Logo MongoDB