[go: up one dir, main page]

Menu

Code Commit Log


Commit Date  
[r293] by whebisch

Fix issue 117.

2008-06-11 02:17:09 Tree
[r292] by hemmecke

Remove dependency on a hardcoded attrib.as from the Aldor repository.
Instead generated attrib.as from the actual attributes in the
Axiom library.

2008-06-11 00:55:33 Tree
[r291] by whebisch

Add semiring categories (SemiRing and SemiRng).

2008-06-10 23:05:54 Tree
[r290] by whebisch

Add OrderedSemiGroup.

2008-06-10 22:57:30 Tree
[r289] by hemmecke

Initial code for interaction with the Aldor compiler based on earlier
work of Peter Broadbery.
The Makefiles should be nearly OK, but the actual dependencies are
still wrong, so compilation still fails.

2008-06-08 17:52:03 Tree
[r288] by hemmecke

Branch for the development of the interaction with the Aldor compiler.

2008-06-08 16:59:36 Tree
[r287] by whebisch

Documentation fix.

2008-05-28 21:40:31 Tree
[r286] by whebisch

Fix build with Closure CL 1.2.

2008-05-21 03:54:10 Tree
[r285] by whebisch

Delete useless Makefile rule.

2008-05-21 02:39:59 Tree
[r284] by whebisch

Rename */Makefile.pamphlet to */Makenotes.tex

2008-05-21 02:36:55 Tree
Older >