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

/trunk/src/aldor Commit Log


Commit Date  
[r1027] by whebisch

Change 'axiom' to 'fricas'.

 2011-03-29 15:04:20 Tree
[r701] by whebisch

Fix Aldor breakage.

 2009-10-21 17:18:47 Tree
[r694] by whebisch

Remove useless trace commands.

 2009-10-20 20:57:50 Tree
[r677] by hemmecke

- Refactor generation of runtime lib for aldor-interface
from src/aldor/Makefile.in into Makefile3.in and remove
reference to attributes.
- Remove use of |fileConstructors|, generate domains.mk
without .spad file access.

 2009-10-09 22:42:26 Tree
[r619] by hemmecke

Remove duplicate function definition for 'find-deps-pretend'

 2009-05-22 22:42:22 Tree
[r547] by hemmecke

parallelize build in src/aldor directory

 2009-03-17 19:29:11 Tree
[r421] by hemmecke

Check for the programs SVN, WGET, and CURL to get the external aldor
sources from the Internet.

 2008-10-26 23:40:56 Tree
[r419] by hemmecke

Besides SVN, also make WGET an option to get the aldor sources from
the Internet.

 2008-10-26 20:52:40 Tree
[r354] by mantepse

merge Ralf's wonderful new Aldor interface

 2008-09-04 20:04:38 Tree