src/Doc/Tutorial/Setup.thy

allow explicit Isabelle rev in build task (e.g., for older Isabelle versions);

(*:maxLineLen=78:*)

theory Setup
imports Main
begin

ML_file \<open>../antiquote_setup.ML\<close>
ML_file \<open>../more_antiquote.ML\<close>

end