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> [EMAIL PROTECTED]
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}
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
