Changes http://wiki.axiom-developer.org/AldorForAxiom/diff
--
??changed:
("aldor.diff":aldor.diff) Already included in the recent version of Axiom
-
- "src_aldor2.tgz":src_aldor2.tgz
+ where _recent_ means axiom--main--1--patch-50 (Gold) and all up-to-date
archives at Sourceforge
+ like trunk, silver, branches/build-improvements.
+
+ "src_aldor2.tgz":src_aldor2.tgz (Use *Save as* in your browser, in order to
save a gzipped archive.
+ Some browsers automatically unzip the file and store only a tar archive
with extension .tgz.)
??changed:
-8. Extract the Aldor make files. Warning: it seems that this is not a gzipped
file, although its name suggests it. It is only tarred, I think::
+8. Extract the Aldor make files::
++added:
+ If your browser has already unzipped the archive, then leave out the z in
the tar argument.
+
9. Build the Aldor interface
??changed:
- The build might take up to 2 hours or some machines.
+ The build might take up to 2 hours or some machines.
+ There is some problem with the latex build in the Silver branch.
+ So if you happen to see that your compilation stops, then just press ENTER
twice.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
