initial snippet generationHEADmain

this is the result of some hacking during off-hours at mgs25, patched
into a mostly-working state. In use for at least one paper already, so
it should hopefully work for most "basic" theories and possibly more
complex ones.

1 files changed, 6 insertions, 0 deletions

diff --git a/ROOT b/ROOT
new file mode 100644
index 0000000..c2e8e43
--- /dev/null
+++ b/ROOT
@@ -0,0 +1,6 @@
+session "isabelle-snippets" = HOL +
+  options [document = pdf, document_output = "output"]
+  theories [document = false]
+    Latex
+  document_files
+    "root.tex"