Merge remote-tracking branch 'origin/develop' into probability_dev

binghe · Mar 4, 2025 · 1cd316e · 1cd316e
2 parents 9245c53 + 8c74cb7
commit 1cd316e
Show file tree

Hide file tree

Showing 13 changed files with 171 additions and 439 deletions.
diff --git a/examples/formal-languages/json/Holmakefile b/examples/formal-languages/json/Holmakefile
@@ -0,0 +1,2 @@
+INCLUDES = $(HOLDIR)/src/rational $(HOLDIR)/src/string \
+           $(HOLDIR)/src/integer
diff --git a/examples/json/README → examples/formal-languages/json/README b/examples/json/README → examples/formal-languages/json/README
diff --git a/examples/json/parse_jsonScript.sml → ...ormal-languages/json/parse_jsonScript.sml b/examples/json/parse_jsonScript.sml → ...ormal-languages/json/parse_jsonScript.sml
diff --git a/examples/json/Json.sig b/examples/json/Json.sig
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		INCLUDES = $(HOLDIR)/src/rational $(HOLDIR)/src/string \
		$(HOLDIR)/src/integer