Re: [isabelle] generating Isar code with screen font
> I guess this is outside the document preparation system, but this is what I
> would really want, in a pdf:
I have found something in the System manual on page 22:
so I tried
isabelle build -o browser_info -o document=pdf -v -c isartutorial
for that I got
*** Undefined session(s): "isartutorial"
where I used the session name in the ROOT file.
The examples in the System manual used library names, is this feature available only for them?
How can I define the session name for this?
This archive was generated by a fusion of
Pipermail (Mailman edition) and