[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] build-improvements and latex
From: |
Ralf Hemmecke |
Subject: |
Re: [Axiom-developer] build-improvements and latex |
Date: |
Sat, 21 Oct 2006 23:47:08 +0200 |
User-agent: |
Thunderbird 1.5.0.7 (X11/20060909) |
So how do we escape these [[...]] things so that noweb doesn't touch
them? Is it the same as escaping << ... >> ?
sed -e 's/\[\[/@[[/g' Rosetta.pamphlet > R.pamphlet
Then R.pamphlet *must* be run through 'noweave -delay' in order to get
the right latex file. Actually it also is a latex file, but 'latex
R.pamphlet would contain @ in the output.
I don't think Norman
Ramsey's filter will handle this case since it only affects how
undefined chunk names are treated.
As I said. It's totally unrelated.
BTW, I do not think that [[...]] should be used. As far as I understand
it is intended in noweb to be just like \verb only that one could have
some fancy stuff (see below).
But, actually, I believe that better tags should be given. For example,
I use \adtype{Integer} and \adname{foo} for types and functions in
ALLPROSE and have some scripts dealing with the proper hyper-linking.
Note that [[...]] says nothing about the semantics of the stuff inside.
Ralf
Example....
Try the following commands on the file below.
noweave -delay -index aaa.nw > aaa.tex
latex aaa.tex
latex aaa.tex
xdvi aaa.dvi
I have no idea why I get
! Bad space factor (0).
<recently read> address@hidden
l.6 ...\nwbegincode{1}\sublabel{NW21NIyD-1p0Y9w-1}
\nwmargintag{{\nwtagstyle{...
Just ignore it by pressing 'q'.
%%% aaa.nw %%%
\documentclass{article}
\usepackage{noweb}
\usepackage{hyperref}
\begin{document}
blah blah
<<*>>=
define IntegerCategory: Category == with {
foo: % -> %;
bar: % -> %;
}
@ %def IntegerCategory foo bar
I now can use [[foo]] and [[bar]] and even [[IntegerCategory]] and
[[Integer]] which is quite convenient. The
\verb'%def' stuff even gets linked (see next page).
\newpage
But that is not proper tagging.
<<*>>=
Integer: IntegerCategory == add {
foo(x: %) == x;
...
}
@ %def Integer
The problem is that we consider [[Integer]] and [[IntegerCategory]] as
types while [[foo]] and [[bar]] are just functions.
\end{document}
- Re: [Axiom-developer] build-improvements and latex, (continued)
- Re: [Axiom-developer] build-improvements and latex, Waldek Hebisch, 2006/10/21
- Re: [Axiom-developer] build-improvements and latex, Ralf Hemmecke, 2006/10/21
- RE: [Axiom-developer] build-improvements and latex, Bill Page, 2006/10/21
- Re: [Axiom-developer] build-improvements and latex, Ralf Hemmecke, 2006/10/21
- RE: [Axiom-developer] build-improvements and latex, Bill Page, 2006/10/21
- Re: [Axiom-developer] build-improvements and latex, Ralf Hemmecke, 2006/10/21
- RE: [Axiom-developer] build-improvements and latex, Bill Page, 2006/10/21
- Re: [Axiom-developer] build-improvements and latex,
Ralf Hemmecke <=
- Re: [Axiom-developer] build-improvements and latex, Gabriel Dos Reis, 2006/10/21
- Re: [Axiom-developer] build-improvements and latex, root, 2006/10/21
- Re: [Axiom-developer] build-improvements and latex, Ralf Hemmecke, 2006/10/21
- RE: [Axiom-developer] build-improvements and latex, Bill Page, 2006/10/21
- Re: [Axiom-developer] build-improvements and latex, root, 2006/10/21
- Re: [Axiom-developer] build-improvements and latex, Gabriel Dos Reis, 2006/10/21
- Re: [Axiom-developer] build-improvements and latex, root, 2006/10/21
- Re: [Axiom-developer] build-improvements and latex, Ralf Hemmecke, 2006/10/22
- RE: [Axiom-developer] build-improvements and latex, Bill Page, 2006/10/22
- Re: [Axiom-developer] build-improvements and latex, Gabriel Dos Reis, 2006/10/22