[Logiweb] Re: Curious Logiwiki behavior

[Frederik Eriksen]

Robert Lamar wrote:

> \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--------
>
Hi Robert,

Are you sure you remembered to include the line

"" 3.21

in the header of your file? This line tells Logiweb that '3.21' is a 
valid syntactic construct. Without this line, Logiweb fails to parse 
'3.21'; it has "no interpretations" of '3.21', so to speak.

Best regards
Frederik Eriksen, Denmark.
(My M.Sc. thesis was about Logiweb).