login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #54 Packaging Axiom and TeXmacs together revision 2 of 2

1 2
Editor: oldk1331
Time: 2017/07/12 14:11:13 GMT+0
Note:

added:

From oldk1331 Wed Jul 12 14:11:13 +0000 2017
From: oldk1331
Date: Wed, 12 Jul 2017 14:11:13 +0000
Subject: 
Message-ID: <20170712141113+0000@axiom-wiki.newsynthesis.org>

Status: open => closed 

I don't think this problem is relevant now.

Submitted by : (unknown) at: 2007-11-17T22:58:48-08:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

> > To begin:
> > 
> > I downloaded the current windows version of axiom. The one clearly 
> > highlighted as "recommended." Although TexMacs is mentioned 
> > prominently,  nowhere does it state that TexMacs is a separate
> > program  that the user must download independently of axiom.  Why 
> > not come out and say it, instead of assuming the user will infer 
> > that from the discussion or be sufficiently knowledgeable of the 
> > open source world to understand how the pieces interact with each 
> > other?
> 
> Ah, well, that's actually been a point of discussion. I'm in favor of
> packaging TeXmacs with the install script but the developers are not
> all of the same mindset about this. I've forwarded this comment to 
> the developers list and we'll address it with documentation and
> possibly combining TeXmacs into the install.

I'm still not quite sure why we can't have our cake and eat it to on
this - provide a non-TeXmacs installer for people who don't need it,
prefer to install their own TeXmacs, or think it's too big, and provide
a larger "kitchen sink" installer for the more typical user.  If I
understand correctly, the final exe install files can be hosted just on
the savannah servers, correct Tim?  Pounding your server to fine power
is definitely NOT one of the goals ;-).

------------------------------------------------------------


... --oldk1331, Wed, 12 Jul 2017 14:11:13 +0000

Status: open => closed 

I don't think this problem is relevant now.