From 2f031e360bc8bd0621e6e79d3a5f732548d920c7 Mon Sep 17 00:00:00 2001
From: terru
Date: Tue, 22 Apr 2025 13:32:39 +0200
Subject: initial snippet generation

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.
---
 ROOT | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 ROOT

(limited to 'ROOT')

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"
-- 
cgit v1.2.3