[Logiweb] Kana reference to peano-axioms apears to be broken

[Klaus Ebbe Grue]

On Tue, 7 Jun 2005, Kasper H0st Frederiksen wrote:

>
> If you try to reference the peano-axioms (GRD-2005-06-03-UTC-15-58-02-061312) 
> -page using the kana reference:
>
> peano:nani
> sita siti tani tana sinu  tenu sase tuni taku kase
> niki kisa tina tasa teke  natu kasa siti naki nisa
> sana kika sesi kenu kasa  seke sise nasa natu
>
>
> ... the pyk compiler vil translate this to
> http://www.diku.dk/~grue/logiweb/20050502/home/grue/peano 
> axioms/GRD-2005-06-03-UTC-15-58-02-061312/vector/page.lgw
> ... and declare this an error. This is ofcorse because the page it should be 
> looking for is:
> http://www.diku.dk/~grue/logiweb/20050502/home/grue/peano-axioms/GRD-2005-06-03-UTC-15-58-02-061312/vector/page.lgw
>
>
> This is not a problem for me because i use the reference
> peano: 
> "http://www.diku.dk/~grue/logiweb/20050502/home/grue/peano-axioms/GRD-2005-06-03-UTC-15-58-02-061312/vector/page.lgw"
>
> ... but it might interest Klaus.

Sure. I will look at it "later" in the sense of the previous message. 
Until then use Kaspers solution.

Another short-term solution is to avoid page names that contain space 
characters (if you need peano-axioms, you can copy the source, change the 
name, and compile it yourself).

Kaspers solution works because the compiler reads
   .../peano-axioms/...
to see that its reference is
   ...sita siti...
and then remembers that association. After that, the compiler looks up
   ...sita siti...
to find the associated url, which it remembers as
   .../peano-axioms/...
Hence, reference as well as url end up being correct.

Klaus