[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