[isabelle] using beamer in document preparation
the archives say from 2008 that it is straightforward to create slides with beamer and Isabelle:
I created a minimal example theory-imports-main-begin, a ROOT file and rewrote document/root.tex to use the beamer class and the build has failed. Running pdflatex directly in output/document resulted in
! LaTeX Error: Option clash for package hyperref.
this is because of inconsistent invocations of the hyperref package. I could not find any
How can I fix this? Is beamer the recommended way to create slides of an Isabelle session?
This archive was generated by a fusion of
Pipermail (Mailman edition) and