[go: up one dir, main page]
Menu ▾ ▴

Code Commit Log


Commit Date  
[r699] by hemmecke

configure option --with-noweb

 2009-10-21 05:23:26 Tree
[r698] by whebisch

Set 1.0.8 version number.

 2009-10-20 23:55:00 Tree
[r697] by whebisch

Tag 1.0.8 release.

 2009-10-20 23:40:24 Tree
[r696] by whebisch

Update INSTALL

 2009-10-20 21:52:24 Tree
[r695] by whebisch

Update interp-proclaims.lisp.

 2009-10-20 21:17:33 Tree
[r694] by whebisch

Remove useless trace commands.

 2009-10-20 20:57:50 Tree
[r693] by whebisch

Update INSTALL and relase notes for 1.0.8.

 2009-10-20 19:54:51 Tree
[r692] by whebisch

Reject pathological solutions in checkInterpolant.

 2009-10-20 19:49:52 Tree
[r691] by whebisch

Fix a test.

 2009-10-20 18:55:21 Tree
[r690] by whebisch

Correct test in Makefile.in.

 2009-10-20 17:41:44 Tree
Older >