Menu

Src (SVN)-old Commit Log


Commit Date  
[r9485] by dwarren

turned on test of intern_term for large arities. It should now work.

2019-01-28 13:55:56 Tree
[r9484] by tswift

Forgot to include changes to calling builtins in changelog.

2019-01-28 00:38:44 Tree
[r9483] by tswift

First draft of changelog for new release, and minor changes to manual.

2019-01-28 00:05:24 Tree
[r9482] by tswift

Minor formatting changes.

2019-01-27 18:30:58 Tree
[r9481] by tswift

forgot to add this one.

2019-01-26 23:17:47 Tree
[r9480] by tswift

Added these files.

2019-01-26 23:13:17 Tree
[r9479] by tswift

Fixed compilation of MT engine.

2019-01-26 20:05:49 Tree
[r9478] by tswift

More refactoring.

2019-01-23 23:02:39 Tree
[r9477] by tswift

More refactoring.

2019-01-23 22:49:52 Tree
[r9476] by tswift

Refactoring to make basic_tests into basic test of tabling.

2019-01-23 22:48:18 Tree
Older >