Remove jsdoc stuff pertaining to non-det

source-academy · Oct 11, 2024 · cf9ea38 · cf9ea38
1 parent a06bb43
commit cf9ea38
Show file tree

Hide file tree

Showing 8 changed files with 1 addition and 315 deletions.
diff --git a/docs/lib/non-det.js b/docs/lib/non-det.js
diff --git a/docs/md/README_3_NON-DET.md b/docs/md/README_3_NON-DET.md
diff --git a/docs/md/README_NON-DET.md b/docs/md/README_NON-DET.md
diff --git a/docs/md/README_top.md b/docs/md/README_top.md
@@ -70,8 +70,6 @@ the Source Academy.
 
 #### <a href="source_2_typed.pdf">Specification of Source §2 Typed</a>
 
-#### <a href="source_3_nondet.pdf">Specification of Source §3 Non-Det</a>
-
 #### <a href="source_3_concurrent.pdf">Specification of Source §3 Concurrent</a>
 
 #### <a href="source_3_typed.pdf">Specification of Source §3 Typed</a>

diff --git a/docs/specs/Makefile b/docs/specs/Makefile
@@ -1,6 +1,6 @@
 PDFLATEX = latexmk -pdf
 
-SPECSNUMS = 1 1_lazy 1_wasm 1_type_inference 1_infinite_loop_detection 1_typed 2 2_lazy 2_typed 3_type_inference 3 3_nondet 3_concurrent 3_typed 4 4_explicitcontrol 4_gpu 4_typed styleguide 2_stepper studio_2 python_1
+SPECSNUMS = 1 1_lazy 1_wasm 1_type_inference 1_infinite_loop_detection 1_typed 2 2_lazy 2_typed 3_type_inference 3 3_concurrent 3_typed 4 4_explicitcontrol 4_gpu 4_typed styleguide 2_stepper studio_2 python_1
 
 SPECS = $(SPECSNUMS:%=source_%)
 

diff --git a/docs/specs/source_3_nondet.tex b/docs/specs/source_3_nondet.tex
diff --git a/docs/specs/source_nondet.tex b/docs/specs/source_nondet.tex
diff --git a/docs/specs/source_nondet_library.tex b/docs/specs/source_nondet_library.tex