| Commit | Date | |
|---|---|---|
| 2016-01-22 15:20:38 | Tree | |
|
[r8582]
by
dwarren
Minor change to print out "Unhandled Exception" message when the |
2016-01-21 17:58:38 | Tree |
|
[r8581]
by
kifer
fixed indexes in the manuals. use imakeidx instead of index - a much better package |
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 |
| 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 |
2016-01-13 21:54:27 | Tree |
| 2016-01-13 21:52:40 | Tree | |
| 2016-01-13 21:52:06 | Tree | |
| 2016-01-13 21:50:59 | Tree |