diff options
Diffstat (limited to 'runtime/queries/tlaplus/folds.scm')
| -rw-r--r-- | runtime/queries/tlaplus/folds.scm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/runtime/queries/tlaplus/folds.scm b/runtime/queries/tlaplus/folds.scm new file mode 100644 index 000000000..2ca0168c0 --- /dev/null +++ b/runtime/queries/tlaplus/folds.scm @@ -0,0 +1,5 @@ +[ + (extramodular_text) + (block_comment) + (non_terminal_proof) +] @fold |