| Commit | Date | |
|---|---|---|
|
[r9378]
by
tswift
Fixed default_ccall_error_handler to handle errors in non-standard form (e.g., explicit throws). |
2018-06-22 21:47:52 | Tree |
|
[r9377]
by
"kifer"
added print_pterm_fun, which is a function that is like print_pterm but returns a string. For use in the Python interface |
2018-06-22 18:56:25 | Tree |
| 2018-06-22 18:55:58 | Tree | |
|
[r9375]
by
dwarren
added c2p_varnum to return an integer that identifies a variable; i.e. instances of same variable returns same integer. |
2018-06-22 15:34:35 | Tree |
|
[r9374]
by
"kifer"
in consult: one more case of cpu time |
2018-06-19 04:38:17 | Tree |
|
[r9373]
by
"kifer"
the main changes are |
2018-06-19 04:10:26 | Tree |
| 2018-06-18 21:14:33 | Tree | |
| 2018-06-18 21:13:55 | Tree | |
| 2018-06-18 21:12:56 | Tree | |
| 2018-06-18 21:10:54 | Tree |