>
> Hi, with the help of Mr. Bill Page I have currently a version of the Doyen
> CD with the LatexWiki/Axiom working. I do not know a good place to upload
> the iso. I was thinking to uploaded to SourceForge, but using CVS could tak=
> e
> a while. the The iso is 561 MB in size right now. Please,
Hi, with the help of Mr. Bill Page I have currently a version of the
Doyen CD with the LatexWiki/Axiom working. I do not know a good place
to upload the iso. I was thinking to uploaded to SourceForge, but using
CVS could take a while. the The iso is 561 MB in size right now.
Please, let me know a g
I'll give those a shot in a couple weeks. I don't know which one I
installed (IIRC I found it on the arch wiki) and I was using it from
cygwin, so perhaps that didn't work so well.
If the sourceforge cvs is up to date with patch-47 though that's fine -
I didn't realize we were maintaining the cvs
Changes http://wiki.axiom-developer.org/FreeAldor/diff
--
--removed:
-
-From GabrielDosReis Sun Jan 22 20:50:40 -0600 2006
-From: Gabriel Dos Reis
-Date: Sun, 22 Jan 2006 20:50:40 -0600
-Subject: [FreeAldor]
-Message-ID: <[EMAIL PROTECTED]>
-In-Reply-To: <[EMAIL PROTECTED]>
-
[EMAIL PROTECTED] (bi
On January 22, 2006 9:18 PM Bill Page wrote:
> On January 22, 2006 9:01 PM C Y wrote:
> >
> > I'm trying to access the Axiom website on Sunday at 8pm, and I'm
> > getting the hanging issue again.
>
> Ok. I just reset it. Please try again.
> ...
Just one hour later after being reset there was ano
cy,
sourceforge.net also has an up to date CVS tree.
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Changes http://wiki.axiom-developer.org/FreeAldor/diff
--
[EMAIL PROTECTED] (billpage) writes:
| ??changed:
| -(the undersigned noted in comments below)
| (The undersigned are noted in comments below. Please click 'preferences'
| to set your name and email address before leaving a comment.)
Thank
Tim,
On January 22, 2006 6:34 PM you wrote:
>
> i know that noweb is unhappy with << that occurs in non-column 1
> locations because the original problem was due to the C 'shift'
> operator causing complaints about non-terminated chunk names.
>
But your patch to noweb should avoid this, shouldn'
On January 22, 2006 9:10 PM C Y wrote:
>
> Grr. tla ALMOST succeeded, but failed on patch4 with
>
> tar.real.exe:
> axiom--main--1--patch4.patches/new-files-archive/{arch}/axiom/
> axiom--main/axiom--main--1/[EMAIL PROTECTED]/patch-log:
> Could not create directory: No such process
>
> Is thi
Changes http://wiki.axiom-developer.org/FreeAldor/diff
--
??changed:
-| Changes http://wiki.axiom-developer.org/FreeAldor/diff
-| --
-| Opening the Aldor source codes would greatly benefit to both Axiom and Aldor
community.
> Opening the Aldor source codes would greatly benefit to both Axiom and
Changes http://wiki.axiom-developer.org/FreeAldor/diff
--
??changed:
-(the undersigned noted in comments below)
(The undersigned are noted in comments below. Please click 'preferences'
to set your name and email address before leaving a comment.)
--
forwarded from http://wiki.axiom-developer.org/
Cliff,
On January 22, 2006 9:01 PM you wrote:
>
> I'm trying to access the Axiom website on Sunday at 8pm, and I'm
> getting the hanging issue again.
Ok. I just reset it. Please try again.
>
> Also, even more frustrating is my inability to download the patch 47
> tarball from http://savannah.n
Changes http://wiki.axiom-developer.org/FreeAldor/diff
--
[EMAIL PROTECTED] (unknown) writes:
| Changes http://wiki.axiom-developer.org/FreeAldor/diff
| --
| Opening the Aldor source codes would greatly benefit to both Axiom and Aldor
community.
well, that was me.
However, I do not find it qui
Grr. tla ALMOST succeeded, but failed on patch4 with
tar.real.exe:
axiom--main--1--patch4.patches/new-files-archive/{arch}/axiom/axiom--main/axiom--main--1/[EMAIL
PROTECTED]/patch-log:
Could not create directory: No such process
Is this just a Windows issue, or is there a problem with checkin
Changes http://wiki.axiom-developer.org/FreeAldor/diff
--
Opening the Aldor source codes would greatly benefit to both Axiom and Aldor
community.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom
I'm trying to access the Axiom website on Sunday at 8pm, and I'm
getting the hanging issue again.
Also, even more frustrating is my inability to download the patch 47
tarball from http://savannah.nongnu.org/files/?group=axiom (assuming
it's up), which is ALSO hanging. Grr.
Are there mirrors avai
Ray,
Check the FAQ. There is an item about getting Axiom to compile
under FC3.
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
> > Fabio S. writes:
> > > Anyway, I must say that I never liked the Hyperdoc (moreover,
> > > it crashes quite often).
> >
> Bill Page wrote:
> > Again, I agree. I also do not use Hyperdoc very much. My
> > experience is also that it often crashes, although I am
> > not yet able to document a sp
Hello,
I am trying to get axiom working on a FC3 system. Neither the binary or
compile worked. I have noticed you all are fairly responsive about
these things.
Please describe which package (source or binary) is recommended; and
what information I should supply.
Ray
___
i know that noweb is unhappy with << that occurs in non-column 1
locations because the original problem was due to the C 'shift'
operator causing complaints about non-terminated chunk names.
also, the code given by tla seems to compile fine here.
perhaps you have a different notangle/noweave on yo
Martin,
> I sincerely hope that some day my dream of a unified documentation and
> user interface format for axiom comes true. If you do have spare time,
> this would be just great.
i'm working on a javascript/html version of the browser documentation.
when we get the doyen version of the system
Tim,
On January 22, 2006 3:16 PM you wrote:
>
> I don't recall adding that character.
Hmmm... me neither. How'd it get there? :)
>
> The character has to be there because that's the "escape"
> character used by noweb.
That is a pretty good argument however I don't think it
applies in this cas
Changes http://wiki.axiom-developer.org/FreeAldor/diff
--
The Aldor and Axiom communities need to cooperate.
The current license restrictions on Aldor make
this cooperation extremely difficult. There is
a limited community of people who use these
systems and we must make an effort to deliver
our s
Tim,
I am trying to build Axiom on SuSe 9 from the current tla
archive.
There seems to be a typo in src/algreba/Makefile.pamphlet
<==
egrep '@<<(domain|package|category) .*>>=' ...
The @ character here does not make sense.
The error occurs in:
>=
egrep '@<<.BOOTSTRAP>>=' ...
-
D
Changes http://wiki.axiom-developer.org/FreeAldor/diff
--
Bob McElrath
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-develop
Bill,
I don't recall adding that character.
The character has to be there because that's the "escape" character
used by noweb. If you use the standard noweb (rather than the axiom
patch version) you need to escape the << characters otherwise noweb
will assume you are creating a new chunk.
t
__
"Fabio S." <[EMAIL PROTECTED]> writes:
> >>> I think you should try Axiom's hyperdoc browser. (Unfortunately
> >>> it is only currently available in the linux version of Axiom.)
> >>> Hyperdoc provides a lot of useful information of this kind for
> >>> the new Axiom user.
> >>>
> >>
> >> Fortunate
Changes http://wiki.axiom-developer.org/FreeAldor/diff
--
Aldor would also benefit from a wider user community
Andrey Grozin
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
Changes http://wiki.axiom-developer.org/FreeAldor/diff
--
Martin Rubey
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-develop
29 matches
Mail list logo
