| Commit | Date | |
|---|---|---|
|
[r9163]
by
"kifer"
added the ability to use user-defined types to proc_files: user can use |
2017-11-27 03:39:56 | Tree |
| 2017-11-21 04:52:40 | Tree | |
| 2017-11-21 04:52:37 | Tree | |
|
[r9160]
by
"kifer"
squash the DISABLE_LINUX_COMPILER_WARNING macro on windows. |
2017-11-21 04:29:16 | Tree |
| 2017-11-19 01:01:43 | Tree | |
| 2017-11-19 00:57:22 | Tree | |
|
[r9157]
by
tswift
Finished (I think) updating code so that IDG traversal for meta-predicates Also do a bit of code cleanup, removal of dead code, and rationalization of code within files. |
2017-11-19 00:54:36 | Tree |
| 2017-11-19 00:45:43 | Tree | |
| 2017-11-19 00:44:52 | Tree | |
|
[r9154]
by
dwarren
Changed my mind. Now a Mod:Term term in a structure (not in predicate |
2017-11-16 20:01:50 | Tree |