Re: [isabelle] Latex / Isabelle (Beginner)

On Sat, Dec 3, 2011 at 7:30 PM, Nemo <ncuriel at> wrote:
> Hello all,
> I am new to extracting Latex files from Isabelle files. I read the
> documentation but does not make sense to me. It says to use 'isabelle mkdir
> NAME', but where do I even type this in? A terminal? Isabelle? Within a
> file? Which?

I believe you should type that in a terminal.

> I'm so confused.
> Any help would be greatly appreciated.
> Thank you so much.
> Nemo Curiel

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.