[go: up one dir, main page]

Menu

/trunk/src/algebra Commit Log


Commit Date  
[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
[r2084] by whebisch

Add hash for Fraction

2016-08-30 12:44:52 Tree
[r2083] by whebisch

Add specialized completeSmith

2016-08-30 02:01:18 Tree
[r2081] by whebisch

Implement hashUpdate! for Float

2016-08-29 14:06:25 Tree
Older >