Re: [Axiom-developer] build-improvements and latex

[Ralf Hemmecke]

> 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}