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

/trunk/src Commit Log


Commit Date  
[r1192] by whebisch

Simplify build.

 2011-11-03 18:58:05 Tree
[r1191] by whebisch

Change order of tests in knownInfo1.

 2011-11-03 17:56:27 Tree
[r1190] by whebisch

Misc cleanups.

 2011-11-03 14:53:48 Tree
[r1189] by whebisch

Simplify multiplication by scalars in FreeModule.

 2011-11-03 14:46:22 Tree
[r1188] by whebisch

Implement small ordinals.

 2011-11-03 13:49:29 Tree
[r1187] by whebisch

Try to handle self-referential conditions.

 2011-11-02 12:06:33 Tree
[r1186] by whebisch

Evaluate all constants in lazy way.

 2011-11-02 11:01:34 Tree
[r1185] by whebisch

Minor cleanups.

 2011-10-31 19:23:30 Tree
[r1184] by whebisch

Misc cleanups.

 2011-10-29 21:02:11 Tree
[r1183] by whebisch

Smaller depsys.

 2011-10-29 16:59:03 Tree
Older >