Good day,
I am a PhD student in Edinburgh, Scotland who was first introduced to
Logiweb at MKM '07 [1]. Just this month, I have finally found time to
start investigating it. To that end, I have begun to proceed through
the tutorials at logiweb.eu [2], and have encountered some strange
behavior which I am unable to duplicate predictably.
The same problem has appeared twice: After completing the Logiweb
Submission form [3], I submit the page (with the strings org="hwu" and
name="rlamar", if it helps) and receive the following error:
--------begin Logiwiki response--------
Frontend
Reverse lookup of
http://logiweb.eu/logiweb/wiki/hwu/rlamar/../../../page/check/latest/vector/page.lgw
Reverse lookup of
http://logiweb.eu/logiweb/wiki/hwu/rlamar/../../../page/Peano/latest/vector/page.lgw
Reverse lookup of
http://logiweb.eu/logiweb/wiki/hwu/rlamar/../../../page/base/latest/vector/page.lgw
Frontend: parsing associativity sections
Frontend: parsing body
---
\section{Theorem}
We now state Lemma 3.2l of \cite{Mendelson87}:
"[ PA lemma 3.2|
---
l : all x : 0 * x = 0 end lemma ]"
\section{Proof}
"[ PA proof of 3.2l :
---
File Form input around line 153 char 16:
No interpretations
Goodbye
--------end Logiwiki response--------
This was the verbatim response of the second of the failed attempts.
The astute reader will note that this happened while completing Tutorial
T03. It was to be my first attempt at this tutorial. I had similar
problems with my first attempt at Tutorial T02.
The common thread seems to be that on the occasions that the submission
failed, I either typed the exercise by hand or copied it in pieces to
the submission page.
I am sorry that my query is verbose. Is what I describe here a known
problem? The "No Interpretations" error is rather meaningless to me, at
this stage.
Thank you,
Robert
[1] Mathematical Knowledge Management,
http://www.cs.bham.ac.uk/~mmk/events/MKM07/
[2] http://logiweb.eu/logiweb/tutorial/
[3] http://logiweb.eu/logiweb/tutorial/create.html
--
Robert Lamar
PhD Student
http://www.macs.hw.ac.uk/~rob/
_______________________________________________
Logiweb mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/logiweb
(Web access from inside DIKUs LAN only)
