dropping log:imports but use command line arguments

eyereasoner · Sep 9, 2024 · 5e33c1a · 5e33c1a
1 parent c1d0f66
commit 5e33c1a
Show file tree

Hide file tree

Showing 11 changed files with 2 additions and 87,678 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.6.0
+1.6.1
diff --git a/cases/edt.trig b/cases/edt.trig
diff --git a/cases/monadic.trig b/cases/monadic.trig