Menu

Src (SVN)-old Commit Log


Commit Date  
[r8583] by tswift

Took out term_abstract (code is now in tables.P)

2016-01-22 15:20:38 Tree
[r8582] by dwarren

Minor change to print out "Unhandled Exception" message when the
programmer throws an unrecognized ball, but provides no user error
handler. (There may be a better way to do this, but just a quiet
return to top level in this case seemed not very helpful to the user.)

2016-01-21 17:58:38 Tree
[r8581] by kifer

fixed indexes in the manuals. use imakeidx instead of index - a much better package
that dosnt require convoluted shell scripts.

2016-01-19 21:29:25 Tree
[r8580] by tswift

Changing variable names, to help distinguish similar trie code for subgoals, answers, and asserted tries.

2016-01-17 15:36:43 Tree
[r8579] by tswift

Changed a few macro names for clarity.

2016-01-17 14:49:23 Tree
[r8578] by tswift

Fixed case in call/n where explicit module qualification was not working properly.

2016-01-13 21:55:58 Tree
[r8577] by tswift

Added explicit module qualification to routines that use abstraction; moved 2 term
abstraction routines into this module.

2016-01-13 21:54:27 Tree
[r8576] by tswift

forgot this one.

2016-01-13 21:52:40 Tree
[r8575] by tswift

Added this a while ago, forgot to commit.

2016-01-13 21:52:06 Tree
[r8574] by tswift

Update to use explicit module qualification to abstract terms.

2016-01-13 21:50:59 Tree
Older >
MongoDB Logo MongoDB