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

Kasper H0st Frederiksen tofu at diku.dk
Tue Jun 7 11:26:21 CEST 2005


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.



-Kasper Frederiksen


More information about the Logiweb mailing list