Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r8670] by dwarren

Fixed bug in initialize_state in cleaning up isa_ext and hasAttr_ext
facts when using the _mti indexing.

 2016-04-06 20:03:12 Tree
[r8669] by dwarren

Added predicate_defined/1 to check whether a predicate has been given
a definition.

 2016-04-05 20:50:49 Tree
[r8668] by dwarren

Added new dump_extensional version, which dumps a subset of an
ontology based on the class hierarchy. (Actually this is a poor man's
verson of components, that doesn't depend on the source, which we
never were able to manage correctly.)

 2016-04-05 20:43:27 Tree
[r8667] by dwarren

Added casts to quiet my compiler. (Teri, you should check. I saw int
casts elsewhere for these flags, but int seem rather small to me for
memory sizes?)

 2016-04-05 19:59:40 Tree
[r8666] by tswift

Support for "suspend" action for max_memory tripwire.

 2016-04-04 19:05:32 Tree
[r8665] by tswift

Added "suspend" action for max_memory tripwire.

 2016-04-04 19:03:54 Tree
[r8664] by mcalejo

Split operator declarations in bounds package to fix syntax error. Merge packages/bounds/swi.P into lib/swi.P

 2016-04-04 12:43:54 Tree
[r8663] by mcalejo

2 innocuous changes to please VC++ 2010 Express

 2016-03-31 22:48:32 Tree
[r8662] by "kifer"

fixed some typos

 2016-03-29 19:55:44 Tree
[r8661] by "kifer"

typo fixes

 2016-03-24 21:56:32 Tree
Older >
MongoDB Logo MongoDB