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

Code Commit Log


Commit Date  
[r702] by whebisch

Merge last minute changes from trunk.

 2009-10-21 17:40:56 Tree
[r701] by whebisch

Fix Aldor breakage.

 2009-10-21 17:18:47 Tree
[r700] by hemmecke

Change the hashCode of Mapping to account for hashcode changes
from Aldor 1.0.3 to 1.1.0.

 2009-10-21 15:45:39 Tree
[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
Older >