[go: up one dir, main page]

Menu

/trunk/src/algebra Commit Log


Commit Date  
[r2103] by whebisch

Fix compare for DirectProduct(dim:NNI, PositiveInteger)

2016-09-07 13:54:06 Tree
[r2102] by whebisch

Unify associative and nonassociative categories

2016-09-07 03:04:03 Tree
[r2101] by whebisch

Remove LinearlyExplicitOver Integer from SingleInteger

2016-09-06 13:27:17 Tree
[r2100] by whebisch

Correct a few typos

2016-09-05 12:11:45 Tree
[r2098] by whebisch

Minor cleanups

2016-09-04 22:21:47 Tree
[r2093] by whebisch

Remove unsound structure from completions

2016-08-31 20:23:40 Tree
[r2092] by whebisch

Remove unused literate markup

2016-08-31 17:21:51 Tree
[r2087] by whebisch

Backport some changes from Open Axiom

2016-08-30 22:21:29 Tree
[r2086] by whebisch

Add hash for SAE

2016-08-30 18:38:11 Tree
[r2085] by whebisch

Add algebraic topology domains

2016-08-30 13:25:58 Tree
Older >