Re: [isabelle] Latex / Isabelle (Beginner)
On Sat, Dec 3, 2011 at 7:30 PM, Nemo <ncuriel at gmail.com> 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