noweb is nearly gone. There are still a few files to convert to
pure latex but not many. But the direction is clear. As soon as
time permits...
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axi
It sounds like Axiom has now achieved pure-latex pamphlets?
(http://lists.gnu.org/archive/html/axiom-developer/2013-04/msg00029.html)
If this is the case, does axiom still need to build noweb?
Cheers,
CY
___
Axiom-developer mailing list
Axiom-develop
Ralf,
Axiom is no longer maintained in SVN. All of the archives are git
sources now.
Ralf Hemmecke wrote:
In the FriCAS install script I can read...
cd fricas
mkdir zips
cd zips
wget
https://axiom.svn.sourceforge.net/svnroot/axiom/trunk/axiom/zips/noweb-2.10a.tgz
Unfortunately, there s
In the FriCAS install script I can read...
cd fricas
mkdir zips
cd zips
wget
https://axiom.svn.sourceforge.net/svnroot/axiom/trunk/axiom/zips/noweb-2.10a.tgz
Unfortunately, there seems to be a problem with the certificate.
Ralf
>wget
https://axiom.svn.sourceforge.net/svnroot/axiom/trunk/a
[EMAIL PROTECTED] writes:
> A) NOWEB ADVANTAGES
> 1) currently works
> 2) easily recognizable syntax
> 3) axiom noweb emacs mode recognizes syntax
> 4) current build machinery uses noweb
>
> B) NOWEB DISADVANTAGES
> 1) collides with user syntax, e.g. [[1,2],[3,4]] vs [[escapedstring]]
Ralf,
Eh? I thought we HAD already discussed this on the list. We must have
discussed it since I know that Cliff's parser can handle either
syntax. gclweb works for CLtL1 and cl-web will work for ansi. I've
been working slowly on a latex chunk mode for a long time and have
discussed it here severa
Dear Norman,
The output of << and >> inside code chunks is not typewriter font.
noweave -n -delay aaa.nw > aaa.tex
latex aaa
Gaby, you use \usepackage[T1]{fontenc} in configure.ac.pamphlet. Is
there any reason why you need it? That file compiles perfectly without
the fontenc package.
Ralf
On Mon, 30 Apr 2007, Waldek Hebisch wrote:
> Gabriel Dos Reis wrote:
> > On Mon, 30 Apr 2007, Waldek Hebisch wrote:
> >
> > > > In config/var-def.mk we have:
> > > >
> > > > axiom_optional_srcdir = $(abs_top_srcdir)/zips
> > > >
> > >
> > > ATM axiom_optional_srcdir is not available in config
Gabriel Dos Reis wrote:
> On Mon, 30 Apr 2007, Waldek Hebisch wrote:
>
> > > In config/var-def.mk we have:
> > >
> > > axiom_optional_srcdir = $(abs_top_srcdir)/zips
> > >
> >
> > ATM axiom_optional_srcdir is not available in configure, so we would
> > have to set it in configure and propagate
On Mon, 30 Apr 2007, Waldek Hebisch wrote:
> > In config/var-def.mk we have:
> >
> > axiom_optional_srcdir = $(abs_top_srcdir)/zips
> >
>
> ATM axiom_optional_srcdir is not available in configure, so we would
> have to set it in configure and propagate to config/var-def.mk
If axiom_optional_s
Bill Page wrote:
> On April 27, 2007 8:52 AM Waldek Hebisch wrote:
> >
> > Let me restate my position: in general I am against putting
> > souces of prerequisities (especially as tarballs, but
> > unpacked form is also bad) in Axiom svn repositiry. Of
> > course, sometimes we want to make an exce
On April 27, 2007 8:52 AM Waldek Hebisch wrote:
>
> > Waldek Hebisch writes:
> >
> > | Revision: 517
> > | http://svn.sourceforge.net/axiom/?rev=517&view=rev
> > | Author: whebisch
> > | Date: 2007-04-26 03:56:16 -0700 (Thu, 26 Apr 2007)
> > |
> > | Log Message:
> > | ---
> [EMAIL PROTECTED] writes:
>
> | Revision: 517
> | http://svn.sourceforge.net/axiom/?rev=517&view=rev
> | Author: whebisch
> | Date: 2007-04-26 03:56:16 -0700 (Thu, 26 Apr 2007)
> |
> | Log Message:
> | ---
> | Add back support for noweb tarball.
>
> I reluctantly remove
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
| "Bill Page" <[EMAIL PROTECTED]> writes:
|
| [...]
|
| | > I think the the most natural solution for this problem is to
| | > require already installed external noweb.
| | >
| |
| | I agree. In fact I think it would be best to also require
| | exte
"Bill Page" <[EMAIL PROTECTED]> writes:
[...]
| > I think the the most natural solution for this problem is to
| > require already installed external noweb.
| >
|
| I agree. In fact I think it would be best to also require
| external gcl. We can do what is necessary to warn and advise
| the use
On March 21, 2007 1:39 PM Waldek Hebisch wrote:
> ...
> We have the same problem with few critical build files,
> notably with Makefile.in.
>
Yes, I confirm that sometimes this is problem. Sometimes
I have to 'touch' the Makefiles.
> I think the the most natural solution for this problem is to
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
[...]
| > Typically this is not a problem because if checkout is fast
| > enough file and its dependencies get the same timestamp.
| > But sometimes we may loose race and files are needlessly
| > re-made, which again typically is not a big problem. But
|
Waldek Hebisch <[EMAIL PROTECTED]> writes:
| Looking at build problem (reported in private mail) I noticed
| something which looks as serious incompatibility between svn
| and noweb. Namely, AFAICS files retrived by svn get timestamp
| corresponding to time of retrival. So, genereted files which
On 03/21/2007 06:39 PM, Waldek Hebisch wrote:
Looking at build problem (reported in private mail) I noticed
something which looks as serious incompatibility between svn
and noweb. Namely, AFAICS files retrived by svn get timestamp
corresponding to time of retrival. So, genereted files which
are
Looking at build problem (reported in private mail) I noticed
something which looks as serious incompatibility between svn
and noweb. Namely, AFAICS files retrived by svn get timestamp
corresponding to time of retrival. So, genereted files which
are up to date in repository may look out of date a
I have been working (slowly) on getting Waldek's finite state version of
notangle into a literate program, and I think I am making progress. As
I do so, I would like to raise a question because it may impact how this
should be done.
Looking at the TeX output of the noweb command, it should be pos
Gabriel Dos Reis wrote:
> I do not have an answer to your question. Different people function
> differently.
>
> But, if the question is directed to me, then the answer is "I do
> play with lots of programming languages, and fluent in quite a few of
> them, with totally different paradigms -- I
On Tuesday, May 09, 2006 4:38 PM Norman Ramsey wrote:
> ...
> I'm afraid you can have 'simple and understandable' or
> you can have 'precise'. You can't have both. The man
> page represents the usual muddled compromise that provides
> neither.
>
I don't mean for the following commments to be in
Gaby,
On Thursday, May 04, 2006 3:50 PM you wrote:
> ...
> Maybe there is a confusion about appreciating diverse
> programming languages and appreciating the set of tools
> we should use to deliver a coherent, attractive, scalable,
> and maintainable project.
I understand your point and actually
"Page, Bill" <[EMAIL PROTECTED]> writes:
| Gaby,
|
| On Thursday, May 04, 2006 2:17 PM you wrote:
| > ...
| > Bill Page writes:
| > |
| > | I have installed Icon on the axiom-developer.org server and it
| > | seems like a nice neat little language ... but I am sure Tim
| > | will say: "Oh horro
Gaby,
On Thursday, May 04, 2006 2:17 PM you wrote:
> ...
> Bill Page writes:
> |
> | I have installed Icon on the axiom-developer.org server and it
> | seems like a nice neat little language ... but I am sure Tim
> | will say: "Oh horrors, yet another programming language!" :)
>
> And I will se
"Page, Bill" <[EMAIL PROTECTED]> writes:
| On Thursday, May 04, 2006 12:01 PM Ralf Hemmecke wrote:
| >
| > Tim, you complained about the speed of NOWEB...
| >
| > Here a copy from noweb-2.11/src/INSTALL...
| >
| > To build noweb:
| >
| >1) First point to compilers to be used to built the t
On Thursday, May 04, 2006 12:01 PM Ralf Hemmecke wrote:
>
> Tim, you complained about the speed of NOWEB...
>
> Here a copy from noweb-2.11/src/INSTALL...
>
> To build noweb:
>
>1) First point to compilers to be used to built the tools and
> library by setting these variables in the M
Tim, you complained about the speed of NOWEB...
Here a copy from noweb-2.11/src/INSTALL...
To build noweb:
1) First point to compilers to be used to built the tools and
library by setting these variables in the Makefile:
CC the name of an ANSI C compiler
LIBSRC
On Sun, 9 Apr 2006, Frederic Lehobey wrote:
A `dream' of mine would be to provide also axiom as a kilk
application: http://klik.atekon.de/
Please, NO!!
It asks the user to execite an arbitrary code from an untrusted place in
the Internet. No sane person should do this. Ever.
Andrey
___
Hi,
On Sun, Apr 09, 2006 at 08:06:41PM +0200, Gabriel Dos Reis wrote:
> "Bill Page" <[EMAIL PROTECTED]> writes:
> | On April 8, 2006 5:47 PM Frederic Lehobey wrote:
> | > On Sat, Apr 08, 2006 at 05:25:08PM -0400, Bill Page wrote:
> | > > Storing binary files in a source code archive is something t
On Tuesday, December 13, 2005 11:10 AM Tim Daly (root) wrote:
> Ralf Hemmecke wrote:
> > Well, in my opinion it would be better to tell people that
> > axiom needs at least version x.y of noweb and provide
> > workarounds for bugs of noweb if Norman Ramsey does not
> > like to include them into h
Changes http://wiki.axiom-developer.org/Noweb/diff
--
NAME
notangle, noweave, nountangle - noweb, a literate-
programming tool
SYNOPSIS
notangle [-Rrootname ...] [-filter command] [-L[format]]
[file] ...
nountangle [-ml|-m3|-c|-c++|-awk|-tex|-f77|-f90] [-Rr
33 matches
Mail list logo
